309 search results - page 21 / 62 » A Type System for Expressive Security Policies |
PET
2007
Springer
14 years 1 months ago
2007
Springer
The protection of privacy has gained considerable attention recently. In response to this, new privacy protection systems are being introduced. SITDRM is one such system that prote...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...
CSFW
2008
IEEE
14 years 2 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
ACSAC
1999
IEEE
13 years 12 months ago
1999
IEEE
Workflow systems provide automated support that enables organizations to efficiently and reliably move important data through their routine business processes. For some organizati...
CONCUR
2001
Springer
14 years 3 days ago
2001
Springer
The paper gives an assessment of security for Mobile Ambients, with specific focus on mandatory access control (MAC) policies in multilevel security systems. The first part of th...