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)