73 search results - page 4 / 15 » Deciding Properties of Contract-Signing Protocols |
DAGSTUHL
2003
13 years 11 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...
DALT
2010
Springer
13 years 4 months ago
2010
Springer
Commitment-based interaction protocols are a flexible way of representing the interaction of a set of agents, that are well-known and widely accepted by the research community. Nor...
CSFW
2009
IEEE
14 years 4 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
RTA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...