Pattern-Based Confidentiality-Preserving Refinement

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

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

2009 ◽

pp. 43-59 ◽

Author(s):

Holger Schmidt

Download Full-text