Automaton-based Confidentiality Monitoring of Concurrent Programs.

Gurvan Le Guernic

Published in: CSF (2007)

Keyphrases

concurrent programs
monitoring system
concurrent programming
process algebra
access control
power consumption
concurrent systems