A Theorem Proving Approach to Analysis of Secure Information Flow
Paper in proceedings, 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

Subject Categories

Computer and Information Science

ISBN

3-540-25521-4

More information

Created

10/8/2017