Automated Synthesis of Secure Distributed Applications.

Michael Backes Matteo Maffei Kim Pecina

Published in: NDSS (2012)

Keyphrases

semi automated
real time
computer assisted
security requirements
security mechanisms
automated analysis
multi agent
video sequences
data driven
fully automatic
security issues
security properties
identity management
program synthesis