1771 search results - page 272 / 355 » An Aspect-Oriented Security Framework |
143
click to vote
ACSAC
2006
IEEE
16 years 16 days ago
2006
IEEE
Access control and integrity constraints are well known approaches to ensure data integrity in commercial database systems. However, due to operational mistakes, malicious intent ...
195
click to vote
PLDI
2006
ACM
16 years 13 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
160
click to vote
ACSAC
2005
IEEE
16 years 3 days ago
2005
IEEE
We apply adjacency matrix clustering to network attack graphs for attack correlation, prediction, and hypothesizing. We self-multiply the clustered adjacency matrices to show atta...
220
click to vote
DSN
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper proposes and evaluates strategies to build reliable and secure wireless ad hoc networks. Our contribution is based on the notion of inner-circle consistency, where loca...
153
click to vote
SP
2005
IEEE
16 years 1 days ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...