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

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662466650, 9783662466667
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Type-Based Verification of Electronic Voting Protocols

2015 ◽  
pp. 303-323 ◽  
Author(s):  
Véronique Cortier ◽  
Fabienne Eigner ◽  
Steve Kremer ◽  
Matteo Maffei ◽  
Cyrille Wiedling
Keyword(s):  
Electronic Voting

scholarly journals Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols

2015 ◽  
pp. 259-279 ◽  
Author(s):  
Max Kanovich ◽  
Tajana Ban Kirigin ◽  
Vivek Nigam ◽  
Andre Scedrov ◽  
Carolyn Talcott
Keyword(s):  
Security Protocols ◽  
Physical Security

Analysis of XACML Policies with SMT

2015 ◽  
pp. 115-134 ◽  
Author(s):  
Fatih Turkmen ◽  
Jerry den Hartog ◽  
Silvio Ranise ◽  
Nicola Zannone

scholarly journals PriCL: Creating a Precedent, a Framework for Reasoning about Privacy Case Law

2015 ◽  
pp. 344-363 ◽  
Author(s):  
Michael Backes ◽  
Fabian Bendun ◽  
Jörg Hoffmann ◽  
Ninja Marnau
Keyword(s):  
Case Law
Load More ...
Sign in / Sign up

Export Citation Format

Share Document