154 search results - page 4 / 31 » A Formal Semantics for Protocol Narrations |
168
click to vote
ICISS
2010
Springer
15 years 2 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...
108
click to vote
SEMWEB
2004
Springer
15 years 9 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...
161
click to vote
ICFEM
2010
Springer
15 years 2 months 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...
142
click to vote
OPODIS
2004
15 years 5 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...
132
Voted
FUIN
2008
15 years 4 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...