4340 search results - page 598 / 868 » Formal Methods and Cryptography |
160
click to vote
ANSS
2006
IEEE
16 years 20 days ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
198
click to vote
COMPSAC
2006
IEEE
16 years 19 days ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
183
click to vote
CSFW
2006
IEEE
16 years 19 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
163
click to vote
GLVLSI
2006
IEEE
16 years 19 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
143
click to vote
ICMCS
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...