Reference from ESORICS proceedings

First European Symposium On Research In Computer Security (ESORICS 90)

A Security Reclassifier for a Local Area Network

Ian F. Akyildiz, Glenn S. Benson

Keywords : security, distributed systems, formal model, file server, concurrency, downgrader

Abstract : Organisations such as militaries, government agencies, and private companies require safeguards that ensure that sensitive information is not disclosed to unauthorized parties, yet ensure that information is disclosed to authorized parties. This paper presents the design of a secure downgrader that lowers the sensitivity level of files, and distributes the files over a local area network. A formal downgrader model is presented which formally demonstrates correctness of the downgrader design. The formal downgrader model is an instantiation of the D-Model -a formal abstract model of security in distributed and centralized systems.

(Pages 85-95)

Proceedings table of contents