Sciweavers

97 search results - page 1 / 20
» ccs 2005
Sort
View
CCS
2005
ACM
13 years 9 months ago
New approaches for deniable authentication
Mario Di Raimondo, Rosario Gennaro
CCS
2005
ACM
13 years 9 months ago
Risk assessment in distributed authorization
Peter C. Chapin, Christian Skalka, Xiaoyang Sean W...
CONCUR
2005
Springer
13 years 9 months ago
Transactions in RCCS
We propose a formalisation of the notion of transaction, using a variant of CCS, RCCS, that distinguishes reversible and irreversible actions, and incorporates a distributed backtr...
Vincent Danos, Jean Krivine