Sciweavers

97 search results - page 1 / 20
» ccs 2005
Sort
View
CCS
2005
ACM
13 years 10 months ago
New approaches for deniable authentication
Mario Di Raimondo, Rosario Gennaro
CCS
2005
ACM
13 years 10 months ago
Risk assessment in distributed authorization
Peter C. Chapin, Christian Skalka, Xiaoyang Sean W...
CONCUR
2005
Springer
13 years 10 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