DocumentCode
2324564
Title
Partial model checking and theorem proving for ensuring security properties
Author
Martinelli, Fabio
Author_Institution
Dept. of Math., Siena Univ., Italy
fYear
1998
fDate
9-11 Jun 1998
Firstpage
44
Lastpage
52
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop, 1998. Proceedings. 11th IEEE
Conference_Location
Rockport, MA
ISSN
1063-6900
Print_ISBN
0-8186-8488-7
Type
conf
DOI
10.1109/CSFW.1998.683154
Filename
683154
Link To Document