637 search results - page 86 / 128 » The Case for Abstracting Security Policies |
100
click to vote
SP
1990
IEEE
15 years 5 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
112
click to vote
SEUS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. The application of run-time reconfigurable component models to networked embedded systems has a number of significant advantages such as encouraging software reuse, ada...
120
Voted
ARESEC
2011
14 years 1 months ago
2011
—The concept of risk-based adaptive access control (RAdAC, pronounced Raid-ack) has been recently introduced in the literature. It seeks to automatically (or semi-automatically) ...
121
click to vote
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The abstraction of cryptographic operations by term algebras, called DolevYao models or symbolic cryptography, is essential in almost all tool-supported methods for provi...
115
click to vote
ISPEC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. With the increased use of Internet and information technology all over the world, there is an increased amount of criminal activities that involve computing and digital d...