Formally-Based Black-Box Monitoring of Security Protocols.

Alfredo Pironti Jan Jürjens

Published in: ESSoS (2010)

Keyphrases

black box
security protocols
automated design
black boxes
artificial immune algorithm
white box
monitoring system
real time
integration testing
security properties
security services
key management
security mechanisms
white box testing
test cases
low cost
rfid tags
operating system
digital libraries
databases
data sets