2685 search results - page 272 / 537 » A Formal Semantics for SPKI |
169
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
XPath is the W3C?standard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at presen...
150
click to vote
CONTEXT
2007
Springer
16 years 26 days ago
2007
Springer
In this paper we provide a formalization of a set of default rules that we claim are required for the transfer of information such as causation, event rate and duration in the inte...
150
click to vote
FMCO
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
206
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
140
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...