154 search results - page 1 / 31 » A Formal Semantics for Protocol Narrations |
TGC
2005
Springer
13 years 10 months ago
2005
Springer
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message ex...
DEXAW
2002
IEEE
13 years 10 months ago
2002
IEEE
In this paper, we suggest that it should be possible to come closer to the Semantic Web goals by enhancing the ontology paradigm and, in particular, by supplementing the ‘tradit...
IPL
2010
13 years 3 months ago
2010
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
ACL
2009
13 years 3 months ago
2009
We have developed a novel, publicly available annotation tool for the semantic encoding of texts, especially those in the narrative domain. Users can create formal propositions to...
LREC
2010
13 years 6 months ago
2010
This paper describes a new language resource of events and semantic roles that characterize real-world situations. Narrative schemas contain sets of related events (edit and publi...