154 search results - page 16 / 31 » A Formal Semantics for Protocol Narrations |
110
click to vote
AAMAS
2007
Springer
15 years 2 months ago
2007
Springer
We propose an operational model that combines message meaning and conversational structure in one comprehensive approach. Our long-term research goal is to lay down principles unit...
123
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
What distinguishes e-commerce from ordinary commerce? What distinguishes it from distributed computation? In this paper we propose a performative theory of e-commerce, drawing on ...
101
click to vote
WECWIS
2005
IEEE
15 years 7 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
105
click to vote
ICNP
1999
IEEE
15 years 6 months ago
1999
IEEE
The Border Gateway Protocol, BGP, is currently the only interdomain routing protocol employed on the Internet. As required of any interdomain protocol, BGP allows policy-based met...
111
click to vote
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...