A Theorem Proving Approach to Analysis of Secure Information Flow
Paper in proceeding, 2005
Author
Adam Darvas
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
David Sands
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Security in Pervasive Computing: Second International Conference, SPC 2005
Vol. 3450 193-208
3-540-25521-4 (ISBN)
Subject Categories
Computer and Information Science
ISBN
3-540-25521-4