Specifying the security properties of communications systems
Michael Witt, Nina Lewis · ACM SIGSAC Review · 1987
The purpose of this paper is to stimulate discussion of techniques for specifying the security related services offered at a protocol layer interface. While some "strawman" specifications are presented, the main intent is to convince the reader that this is an interesting area for further investigation.