113 search results - page 5 / 23 » Safe Equivalences for Security Properties |
165
click to vote
IROS
2008
IEEE
15 years 12 months ago
2008
IEEE
Abstract— Many planning approaches adhere to the twotiered architecture consisting of a long-range, low fidelity global planner and a short-range high fidelity local planner. W...
167
click to vote
AGP
1997
IEEE
15 years 9 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
151
click to vote
ICFEM
2009
Springer
16 years 3 days ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
186
Voted
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...
167
click to vote
IFIP
2010
Springer
15 years 12 days ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...