Article citationsMore>>

G. Klein et al., “seL4: Formal Verification of an OS Kernel,” Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, 11-14 October 2009, pp. 207-220. doi:10.1145/1629575.1629596

has been cited by the following article:

• TITLE: Reference Encryption for Access Right Segregation and Domain Representation

  AUTHORS: Lanfranco Lopriore

  KEYWORDS: Access Right; Domain; Protection; Symmetric-Key Cryptography

  JOURNAL NAME: Journal of Information Security, Vol.3 No.2, April 26, 2012

  ABSTRACT: With reference to a protection model featuring processes, objects and domains, we consider the salient aspects of the protection problem, domain representation and access right segregation in memory. We propose a solution based on protected references, each consisting of the identifier of an object and the specification of a collection of access rights for this object. The protection system associates an encryption key with each object and each domain. A protected reference for a given object is always part of a domain, and is stored in memory in the ciphertext form that results from application of a double encryption using both the object key and the domain key.