174 search results - page 23 / 35 » Enforcing Non-safety Security Policies with Program Monitors |
75
Voted
EDOC
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper we sketch a framework supporting contract enactment within the context of virtual organisation units that are dynamically created in order to achieve a common object...
111
click to vote
BPSC
2009
14 years 10 months ago
2009
Abstract: We report on ongoing work towards a posteriori detection of illegal information flows for business processes, focusing on the challenges involved in doing so. Resembling ...
CCS
2009
ACM
15 years 1 months ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
System-call monitoring has become the basis for many hostbased intrusion detection as well as policy enforcement techniques. Mimicry attacks attempt to evade system-call monitorin...