979 search results - page 29 / 196 » Developing Dynamic Security Policies |
ICTCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
SACMAT
2009
ACM
14 years 4 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
WWW
2010
ACM
14 years 3 months ago
2010
ACM
The last three years have seen a dramatic increase in both awareness and exploitation of Web Application Vulnerabilities. 2008 and 2009 saw dozens of high-profile attacks against...
ACSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
The penetration of cellular networks worldwide and emergence of smart phones has led to a revolution in mobile content. Users consume diverse content when, for example, exchanging...
CBSE
2011
Springer
12 years 9 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...