4340 search results - page 523 / 868 » Formal Methods and Cryptography |
161
click to vote
FDL
2005
IEEE
16 years 9 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
201
click to vote
IEEECIT
2005
IEEE
16 years 8 days ago
2005
IEEE
Web warehouse provides high availability and efficiency by utilizing materialized webviews, which should be refreshed in time to keep freshness. During the refreshing, the consis...
165
click to vote
AIME
2005
Springer
16 years 7 days ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
185
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
180
click to vote
CCS
2005
ACM
16 years 7 days ago
2005
ACM
d abstract) Prateek Gupta and Vitaly Shmatikov The University of Texas at Austin We present a cryptographically sound formal method for proving correctness of key exchange protoco...