10568 search results - page 1609 / 2114 » Computer Intelligence and Formalization |
197
click to vote
CAV
2005
Springer
16 years 22 days ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
183
click to vote
CCS
2005
ACM
16 years 22 days ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
167
click to vote
CIE
2005
Springer
16 years 22 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
186
click to vote
CSL
2005
Springer
16 years 22 days ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
184
click to vote
CTRSA
2005
Springer
16 years 22 days ago
2005
Springer
Traditional password-based authentication and key-exchange protocols suffer from the simple fact that a single server stores the sensitive user password. In practice, when such a ...