Privacy and security in information systems using programming language features


This paper describes a specification and implementation scheme for providing an integrated approach to security and privacy rules and shows how they may be achieved with a formal specification language that permits the association of operations with logical conditions. The implementation of these rules is shown in the programming language PLAIN. In this way… (More)
DOI: 10.1016/0306-4379(83)90034-0


3 Figures and Tables