Lecture Notes in Computer Science - Principles of Security and Trust
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642286407, 9783642286414
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Security Proof with Dishonest Keys

2012 ◽  
pp. 149-168 ◽  
Author(s):  
Hubert Comon-Lundh ◽  
Véronique Cortier ◽  
Guillaume Scerri
Keyword(s):  
Security Proof

scholarly journals Parametric Verification of Address Space Separation

2012 ◽  
pp. 51-68 ◽  
Author(s):  
Jason Franklin ◽  
Sagar Chaki ◽  
Anupam Datta ◽  
Jonathan M. McCune ◽  
Amit Vasudevan
Keyword(s):  
Address Space ◽  
Space Separation

scholarly journals A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow

2012 ◽  
pp. 369-389 ◽  
Author(s):  
Torben Amtoft ◽  
Josiah Dodds ◽  
Zhi Zhang ◽  
Andrew Appel ◽  
Lennart Beringer ◽  
...  
Keyword(s):  
Information Flow ◽  
Conditional Information
Load More ...
Sign in / Sign up

Export Citation Format

Share Document