Architectural Refinement and Notions of Intransitive Noninterference

Lecture Notes in Computer Science - Engineering Secure Software and Systems ◽

10.1007/978-3-642-00199-4_6 ◽

2009 ◽

pp. 60-74 ◽

Author(s):

Ron van der Meyden

Download Full-text