Sciweavers

785 search results - page 18 / 157
» A Calculus for Trust Management
Sort
View
ISW
2009
Springer
14 years 2 months ago
A Calculus to Detect Guessing Attacks
Bogdan Groza, Marius Minea
OOIS
1994
Springer
13 years 11 months ago
OPUS: A Calculus for Modelling Object-Oriented Concepts
Tom Mens, Kim Mens, Patrick Steyaert
ACISP
2000
Springer
13 years 12 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...
CCS
2006
ACM
13 years 11 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...
BIS
2006
150views Business» more  BIS 2006»
13 years 9 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