DMCA

Automaton-based Confidentiality Monitoring of Concurrent Programs (2007)

by Gurvan Le Guernic
Venue:IN: PROC. COMPUTER SECURITY FOUNDATIONS SYMPOSIUM
Citations:24 - 1 self