5255 search results - page 275 / 1051 » Formal Methods for Privacy |
142
click to vote
ACSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
Network-based attacks have become common and sophisticated. For this reason, intrusion detection systems are now shifting their focus from the hosts and their operating systems to...
141
click to vote
CCS
1998
ACM
15 years 8 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
170
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
130
click to vote
SP
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
144
click to vote
SP
1996
IEEE
15 years 8 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...