Automata-Based Confidentiality Monitoring

Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt. Automata-Based Confidentiality Monitoring. In Mitsu Okada, Ichiro Satoh, editors, Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers. Volume 4435 of Lecture Notes in Computer Science, pages 75-89, Springer, 2006. [doi]

Authors

Gurvan Le Guernic

This author has not been identified. Look up 'Gurvan Le Guernic' in Google

Anindya Banerjee

This author has not been identified. Look up 'Anindya Banerjee' in Google

Thomas P. Jensen

This author has not been identified. Look up 'Thomas P. Jensen' in Google

David A. Schmidt

This author has not been identified. Look up 'David A. Schmidt' in Google