154 search results - page 4 / 31 » A Formal Semantics for Protocol Narrations |
141
click to vote
ICISS
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. We present a declarative language with a formal semantics for specifying both users' privacy preferences and services' privacy policies. Expressiveness and appl...
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
139
click to vote
ICFEM
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
114
click to vote
OPODIS
2004
15 years 3 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
113
click to vote
FUIN
2008
15 years 2 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...