641 search results - page 40 / 129 » Formal Reliability Analysis Using Theorem Proving |
142
click to vote
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Several generic constructions for transforming one-way functions to asymmetric encryption schemes have been proposed. One-way functions only guarantee the weak secrecy of...
111
click to vote
ASPDAC
2004
ACM
15 years 6 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
130
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Convergence analysis of consensus algorithms is revisited in the light of the Hilbert distance. The Lyapunov function used in the early analysis by Tsitsiklis is shown to be the Hi...
118
click to vote
JSS
2002
15 years 2 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
126
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. Sequential game and Nash equilibrium are basic key concepts in game theory. In 1953, Kuhn showed that every sequential game has a Nash equilibrium. The two main steps of ...