2008 21st IEEE Computer Security Foundations Symposium
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By IEEE

9780769531823
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Refinement Types for Secure Implementations

2008 ◽  
Author(s):  
Jesper Bengtson ◽  
Karthikeyan Bhargavan ◽  
Cédric Fournet ◽  
Andrew D. Gordon ◽  
Sergio Maffeis
Keyword(s):  
Refinement Types

scholarly journals Security Decision-Making among Interdependent Organizations

2008 ◽  
Author(s):  
R. Ann Miura-Ko ◽  
Benjamin Yolken ◽  
John Mitchell ◽  
Nicholas Bambos
Keyword(s):  
Decision Making

scholarly journals A Correctness Proof of a Mesh Security Architecture

2008 ◽  
Author(s):  
Doug Kuhlman ◽  
Ryan Moriarty ◽  
Tony Braskich ◽  
Steve Emeott ◽  
Mahesh Tripunitara
Keyword(s):  
Security Architecture ◽  
Correctness Proof

Hyperproperties

2008 ◽  
Author(s):  
Michael R. Clarkson ◽  
Fred B. Schneider
Load More ...
Sign in / Sign up

Export Citation Format

Share Document