851 search results - page 102 / 171 » Inaccessibility in Decision Procedures |
130
click to vote
ICDCS
1996
IEEE
15 years 8 months ago
1996
IEEE
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...
134
click to vote
ICALP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
123
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
We extend the propositional dynamic logic PDL of Fischer and Ladner with a restricted kind of recursive programs using the formalism of visibly pushdown automata (Alur, Madhusudan...
136
click to vote
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...
138
click to vote
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...