Title :
Representing partial knowledge in an algebraic security model
Author :
Meadows, Catherine
Author_Institution :
Center for Secure Inf. Technol., Naval Res. Lab., Washington, DC, USA
Abstract :
The author extends a security model and specification language for key distribution protocols which describes protocols algebraically in terms of term-rewriting systems to include certain kinds of partial knowledge available to a penetrator. She also shows how the model describes the actions by which a penetrator takes advantage of partial knowledge, and gives an example of a protocol specified in the language
Keywords :
cryptography; formal specification; protocols; rewriting systems; algebraic security model; key distribution protocols; partial knowledge; specification language; term-rewriting systems; Adaptation model; Communication system traffic control; Cryptographic protocols; Formal languages; Information security; Information technology; Laboratories; Public key; Specification languages; Traffic control;
Conference_Titel :
Computer Security Foundations Workshop III, 1990. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2071-4
DOI :
10.1109/CSFW.1990.128182
