19th IEEE Computer Security Foundations Workshop (CSFW'06)
Latest Publications

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By IEEE

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

Resolve-Impossibility for a Contract-Signing Protocol

2006 ◽  
Author(s):  
A. Mukhamedov ◽  
M.D. Ryan
Keyword(s):  
Contract Signing

scholarly journals Cryptographically Sound Theorem Proving

2006 ◽  
Author(s):  
C. Sprenger ◽  
M. Backes ◽  
D. Basin ◽  
B. Pfitzmann ◽  
M. Waidner
Keyword(s):  
Theorem Proving

scholarly journals On the Completeness of Attack Mutation Algorithms

2006 ◽  
Author(s):  
S. Rubin ◽  
S. Jha ◽  
B.P. Miller

A Temporal Logic Characterisation of Oservational Determinism

2006 ◽  
Author(s):  
M. Huisman ◽  
P. Worah ◽  
K. Sunesen
Keyword(s):  
Temporal Logic

scholarly journals Information-Flow Security for Interactive Programs

2006 ◽  
Author(s):  
K.R. O'Neill ◽  
M.R. Clarkson ◽  
S. Chong
Keyword(s):  
Information Flow ◽  
Information Flow Security

scholarly journals Policy Analysis for Administrative Role Based Access Control

2006 ◽  
Author(s):  
A. Sasturkar ◽  
Ping Yang ◽  
S.D. Stoller ◽  
C.R. Ramakrishnan
Keyword(s):  
Access Control ◽  
Policy Analysis ◽  
Role Based Access Control ◽  
Role Based
Load More ...
Sign in / Sign up

Export Citation Format

Share Document