637 search results - page 98 / 128 » The Case for Abstracting Security Policies |
ESORICS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Simulatability has established itself as a salient notion for defining and proving the security of cryptographic protocols since it entails strong security and compositio...
129
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
It is difficult to write programs that behave correctly in the presence of run-time errors. Existing programming language features often provide poor support for executing clean-u...
112
click to vote
MSOM
2010
14 years 8 months ago
2010
The Vaccine and Related Biologic Products Advisory Committee meets at least once a year to decide the composition of the influenza vaccine in the U.S. Past evidence suggests that ...
132
Voted
SECON
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—While mechanisms exist to instantiate common security functionality such as confidentiality and integrity, little has been done to define a mechanism for identificati...
113
click to vote
MICRO
2008
IEEE
15 years 1 months ago
2008
IEEE
UAL PRIVATE MACHINE ABSTRACTION WOULD ALLOW SOFTWARE POLICIES TO EXPLICITLY MANAGE MICROARCHITECTURE RESOURCES. VPM POLICIES, IMPLEMENTED PRIMARILY IN SOFTWARE, TRANSLATE APPLICATI...