637 search results - page 91 / 128 » The Case for Abstracting Security Policies |
168
click to vote
POPL
2000
ACM
15 years 6 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
135
click to vote
APWEB
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...
121
Voted
SP
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
244
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
ACSC
2008
IEEE
15 years 8 months ago
2008
IEEE
While mobile computing provides a potentially vast business opportunity for many industry participants, it also raises issues such as security and performance. This paper proposes...