Security Protocols - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642049033, 9783642049040
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Secure Distributed Human Computation

2009 ◽  
pp. 177-180
Author(s):  
Craig Gentry ◽  
Zulfikar Ramzan ◽  
Stuart Stubblebine
Keyword(s):  
Human Computation

scholarly journals Where Next for Formal Methods?

2009 ◽  
pp. 52-58
Author(s):  
James Heather ◽  
Kun Wei
Keyword(s):  
Formal Methods

Towards a Secure Application-Semantic Aware Policy Enforcement Architecture

2009 ◽  
pp. 26-31
Author(s):  
Srijith K. Nair ◽  
Bruno Crispo ◽  
Andrew S. Tanenbaum
Keyword(s):  
Policy Enforcement
Load More ...
Sign in / Sign up

Export Citation Format

Share Document