894 search results - page 122 / 179 » Secure Implementation of Channel Abstractions |
ACSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
ACISP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. A feasible solution to prevent potential misuse of signatures is to put some restrictions on their verification. Therefore S.J.Kim, S.J.Park and D.H.Won introduced the n...
SP
1990
IEEE
14 years 1 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
FORTE
2004
13 years 10 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
ICWS
2003
IEEE
13 years 10 months ago
2003
IEEE
Abstract Providing network infrastructure for authentication, authorization and accounting (AAA) functionalities required by inter-enterprise business applications operating over t...