Calculating Quantitative Integrity and Secrecy for Imperative Programs.

Tom Chothia Chris Novakovic Rajiv Ranjan Singh

Published in: Int. J. Secur. Softw. Eng. (2015)

Keyphrases

imperative programs
dynamic logic
qualitative and quantitative
quantitative and qualitative
integrity constraints
plan execution
management system
wireless sensor networks
intelligent agents
key management
security analysis
key distribution