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

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642294198, 9783642294204
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Service Automata

2012 ◽  
pp. 148-163 ◽  
Author(s):  
Richard Gay ◽  
Heiko Mantel ◽  
Barbara Sprick

Verifying Cryptographic Code in C: Some Experience and the Csec Challenge

2012 ◽  
pp. 1-20 ◽  
Author(s):  
Mihhail Aizatulin ◽  
François Dupressoir ◽  
Andrew D. Gordon ◽  
Jan Jürjens

scholarly journals Risk Balance in Optimistic Non-repudiation Protocols

2012 ◽  
pp. 263-277
Author(s):  
Mohammad Torabi Dashti ◽  
Jan Cederquist ◽  
Yanjing Wang
Keyword(s):  
Risk Balance
Load More ...
Sign in / Sign up

Export Citation Format

Share Document