Partial model checking and theorem proving for ensuring security properties

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1998, Pages 44-52

  Martinelli, Fabio ^a  

^a UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; APPROXIMATION THEORY; COMPUTER SOFTWARE; DATA HANDLING; INFORMATION THEORY; NETWORK PROTOCOLS; THEOREM PROVING;

AUTHENTICATION PROTOCOL; FINITE STATE SYSTEM; INFORMATION FLOW THEORY; MULTILEVEL SECURITY; PARTIAL MODEL CHECKING; PROCESS ALGEBRA;

SECURITY OF DATA;

EID: 0031645024     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)