Title :
Partial model checking and theorem proving for ensuring security properties
Author :
Martinelli, Fabio
Author_Institution :
Dept. of Math., Siena Univ., Italy
Abstract :
The author presents a methodology based on known techniques in concurrency and process logics theory for ensuring information flow security properties, similar to the ones proposed by Focardi and Gorrieri (1995, 1997). Recently, they have shown that concepts from information flow theory can be used in the analysis of authentication protocols. This kind of problem may be tackled by his methodology. This has been implemented over mudiv, a tool for partial model checking
Keywords :
formal logic; information theory; message authentication; protocols; theorem proving; authentication protocol analysis; concurrency; information flow security properties; information flow theory; mudiv tool; partial model checking; process logics theory; theorem proving; Authentication; Computer security; Concurrent computing; Control systems; Electrical capacitance tomography; Filling; Information security; Interference; Operating systems; Read only memory;
Conference_Titel :
Computer Security Foundations Workshop, 1998. Proceedings. 11th IEEE
Conference_Location :
Rockport, MA
Print_ISBN :
0-8186-8488-7
DOI :
10.1109/CSFW.1998.683154
