Trustworthy Global Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

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

Integration of a Security Type System into a Program Logic

2007 ◽  
pp. 116-131 ◽  
Author(s):  
Reiner Hähnle ◽  
Jing Pan ◽  
Philipp Rümmer ◽  
Dennis Walter
Keyword(s):  
Type System ◽  
Program Logic

scholarly journals Security Types for Dynamic Web Data

2007 ◽  
pp. 263-280
Author(s):  
Mariangiola Dezani-Ciancaglini ◽  
Silvia Ghilezan ◽  
Jovanka Pantović
Keyword(s):  
Web Data ◽  
Dynamic Web

The KOA Remote Voting System: A Summary of Work to Date

2007 ◽  
pp. 244-262 ◽  
Author(s):  
Joseph R. Kiniry ◽  
Alan E. Morkan ◽  
Dermot Cochran ◽  
Fintan Fairmichael ◽  
Patrice Chalin ◽  
...  
Keyword(s):  
System A ◽  
Voting System

scholarly journals Anonymity Protocols as Noisy Channels

2007 ◽  
pp. 281-300 ◽  
Author(s):  
Konstantinos Chatzikokolakis ◽  
Catuscia Palamidessi ◽  
Prakash Panangaden
Keyword(s):  
Noisy Channels
Load More ...
Sign in / Sign up

Export Citation Format

Share Document