641 search results - page 49 / 129 » Formal Reliability Analysis Using Theorem Proving |
116
click to vote
SIGIR
2006
ACM
15 years 8 months ago
2006
ACM
Searching an organization’s document repositories for experts provides a cost effective solution for the task of expert finding. We present two general strategies to expert se...
111
Voted
TCC
2007
Springer
15 years 8 months ago
2007
Springer
We prove a computational soundness theorem for symmetric-key encryption protocols that can be used to analyze security against adaptively corrupting adversaries (that is, adversar...
157
click to vote
CSFW
1999
IEEE
15 years 6 months ago
1999
IEEE
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authenti...
103
click to vote
CONTEXT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
103
click to vote
ASM
2008
ASM
15 years 4 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...