54 search results - page 2 / 11 » Using Equivalence Relations for Corrective Enforcement of Se... |
ESORICS
2000
Springer
13 years 9 months ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
SIGPLAN
2008
13 years 5 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
POPL
2000
ACM
13 years 9 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...
SP
1997
IEEE
13 years 9 months ago
1997
IEEE
When packet filtering is used as a security mechanism, different routers may need to cooperate to enforce the desired security policy. It is difficult to ensure that they will d...
TDSC
2011
13 years 9 days ago
2011
To ensure fair and secure communication in Mobile Ad hoc Networks (MANETs), the applications running in these networks must be regulated by proper communication policies. However,...