2422 search results - page 189 / 485 » Security Policy Consistency |
168
click to vote
ICDE
2007
IEEE
16 years 28 days ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...
159
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
While many theoretical arguments against or in favor of open source and closed source software development have been presented, the empirical basis for the assessment of arguments...
179
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper presents VSK, a lightweight adaptable OS authorization architecture suitable for self-protection of pervasive devices. A “virtual” management plane, separate from...
177
click to vote
SACMAT
2005
ACM
16 years 5 days ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
147
click to vote
CSFW
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...