Sciweavers

785 search results - page 18 / 157
» A Calculus for Trust Management
Sort
View
ISW
2009
Springer
15 years 8 months ago
A Calculus to Detect Guessing Attacks
Bogdan Groza, Marius Minea
OOIS
1994
Springer
15 years 6 months ago
OPUS: A Calculus for Modelling Object-Oriented Concepts
Tom Mens, Kim Mens, Patrick Steyaert
101
Voted
ACISP
2000
Springer
15 years 6 months ago
PKI Seeks a Trusting Relationship
All human co-operation is based on trust, meaning that we choose co-operation partners and make commitment decisions based on how much we trust the other party. Digital certificat...
Audun Jøsang, Ingar Glenn Pedersen, Dean Po...
116
Voted
CCS
2006
ACM
15 years 5 months ago
Virtual monotonic counters and count-limited objects using a TPM without a trusted OS
A trusted monotonic counter is a valuable primitive that enables a wide variety of highly scalable offline and decentralized applications that would otherwise be prone to replay a...
Luis F. G. Sarmenta, Marten van Dijk, Charles W. O...
139
Voted
BIS
2006
150views Business» more  BIS 2006»
15 years 3 months ago
Why Do We Actually Need the Pi-Calculus for Business Process Management?
This paper discusses the applicability of a process algebra, the -calculus, as a formal foundation for Business Process Management (BPM). We therefore investigate the -calculus fro...
Frank Puhlmann