Computer security basics
Communications of the ACM
A cryptographic file system for UNIX
CCS '93 Proceedings of the 1st ACM conference on Computer and communications security
The design and implementation of tripwire: a file system integrity checker
CCS '94 Proceedings of the 2nd ACM Conference on Computer and communications security
New paradigms for high assurance software
NSPW '92-93 Proceedings on the 1992-1993 workshop on New security paradigms
A new approach to security system development
NSPW '94 Proceedings of the 1994 workshop on New security paradigms
Computer security
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
Mathematics, Technology, and Trust: Formal Verification, Computer Security, and the U.S. Military
IEEE Annals of the History of Computing
The Role of the Development Process in Operating System Security
ISW '00 Proceedings of the Third International Workshop on Information Security
Practical Cryptography
Secrets and Lies
A cryptographic access control architecture secure against privileged attackers
Proceedings of the 2007 ACM workshop on Computer security architecture
| Hi-index | 0.00 |
Security problems are increasing and, while existing systems are often found lacking, practical problems limit the adoption of more secure trusted systems. This paper describes a new operating system security model called Vaults utilising cryptography to provide dramatically enhanced security over existing systems. This approach provides many of the benefits of trusted system designs, while being more intuitive and applicable to varying security requirements.