2257 search results - page 77 / 452 » Secure program partitioning |
PLDI
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
CCS
2005
ACM
14 years 2 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
WETICE
2000
IEEE
14 years 1 months ago
2000
IEEE
With the advent and the rising popularity of networks, Internet, intranets and distributed systems, security is becoming one of the major concerns in IT research. An increasing nu...
WOA
2000
13 years 10 months ago
2000
ogramming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. Th...
IFIP
1992
Springer
14 years 27 days ago
1992
Springer
On initiative of the Commission of the European Communities, the Information Technology Security Evaluation Criteria (ITSEC) are designed to provide a yardstick for the evaluation...