Noninterference in the presence of non-opaque pointers
Paper in proceeding, 2006
Author
Daniel Hedin
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
David Sands
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Proceedings of the 19th IEEE Computer Security Foundations Workshop
255-269
Subject Categories
Computer Science