SP
1997
IEEE
13 years 11 months ago
1997
IEEE
Onion Routing is an infrastructure for private communication over a public network. It provides anonymous connections that are strongly resistant to both eavesdropping and tra c a...
SP
1997
IEEE
13 years 11 months ago
1997
IEEE
SP
1997
IEEE
13 years 11 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
SP
1997
IEEE
13 years 11 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...
SP
1997
IEEE
13 years 11 months ago
1997
IEEE
A major drawback of existing access control systems is that they have all been developed with a specific access control policy in mind. This means that all protection requirement...
SP
1997
IEEE
13 years 11 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...
SP
1997
IEEE
13 years 11 months ago
1997
IEEE
SP
1997
IEEE
13 years 11 months ago
1997
IEEE
SP
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
SAFECOMP
1998
Springer
1998
Springer
Increasing System Safety for By-Wire Applications in Vehicles by Using a Time Triggered Architecture
13 years 11 months ago
By-wire systems have been established for several years in the area of aircraft construction and there are now approaches to utilize this technology in vehicles. The required elect...