Browse by Author

Deepak, DSouza and Raghavendra, KR and Barbara, Sprick (2005) An automata based approach for verifying information flow properties. In: Tthe Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005), 16 July, 2005, pp. 39-58.