752 search results - page 76 / 151 » Abstract models for dialogue protocols |
177
click to vote
IFIP
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
149
click to vote
TYPES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
141
click to vote
ICISC
2001
15 years 6 months ago
2001
Abstract. In this work we present a security model for low-value transactions in ad-hoc networks in which we focus on authentication since this is the core requirement for commerci...
141
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
171
click to vote
BPM
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...