154 search results - page 6 / 31 » A Formal Semantics for Protocol Narrations |
139
click to vote
AGENTCL
2003
Springer
15 years 7 months ago
2003
Springer
CHOPRA, AMIT KHUSHWANT. Nonmonotonic Commitment Machines. (Under the direction of Dr. Munindar P. Singh). Protocols in open and dynamic multiagent systems cannot be modeled via fo...
109
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
100
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
104
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
145
click to vote
JOT
2010
15 years 11 days ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...