Sciweavers

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