Security Properties Consistent with the Testing Semantics for Communicating Processes.

Dale M. Johnson F. Javier Thayer

Published in: CSFW (1989)

Keyphrases

security properties
communication channels
security requirements
security protocols
formal model
security analysis
cryptographic protocols
formal methods
security vulnerabilities
image compression
energy consumption
expert systems
software engineering