154 search results - page 16 / 31 » A Formal Semantics for Protocol Narrations |
149
click to vote
AAMAS
2007
Springer
15 years 6 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...
172
click to vote
ATAL
2003
Springer
15 years 9 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 ...
149
click to vote
WECWIS
2005
IEEE
15 years 11 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 ...
150
click to vote
ICNP
1999
IEEE
15 years 10 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...
143
click to vote
CSL
2010
Springer
15 years 7 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...