4340 search results - page 599 / 868 » Formal Methods and Cryptography |
159
click to vote
IPCCC
2006
IEEE
16 years 18 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
148
click to vote
MEMOCODE
2006
IEEE
16 years 18 days ago
2006
IEEE
Hand-held devices have rigid constraints regarding power dissipation and energy consumption. Whether a new functionality can be supported often depends upon its power requirements...
174
click to vote
SP
2006
IEEE
16 years 18 days ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
177
click to vote
WCRE
2006
IEEE
16 years 17 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
191
click to vote
ACL2
2006
ACM
16 years 17 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...