108 search results - page 10 / 22 » Enforcing Obligation with Security Monitors |
110
click to vote
POPL
2000
ACM
15 years 1 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...
DAGSTUHL
2001
14 years 10 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
ICSE
2008
IEEE-ACM
15 years 9 months ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...
81
Voted
IEEEARES
2006
IEEE
15 years 3 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
COMPSEC
2008
14 years 9 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...