14850 search results - page 145 / 2970 » The Security of |
SP
2008
IEEE
14 years 4 months ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
SIGCSE
2004
ACM
14 years 3 months ago
2004
ACM
The panel discusses solutions to the problem of computer security education. Categories and Subject Descriptors C.2.0 [Computer-Communication Networks]: security and protection. E...
ACSAC
1996
IEEE
14 years 2 months ago
1996
IEEE
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
SP
1990
IEEE
14 years 2 months ago
1990
IEEE
This paper describes the development of a virtual-machine monitor (VMM) security kernel for the VAX architecture. The paper particularly focuses on how the system's hardware,...
ACSAC
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper discusses a potential security issue in common operating system and application environments regarding dynamically attached devices and device interfaces. A set of coun...