7820 search results - page 180 / 1564 » Formalization of Time and Space |
209
click to vote
TCC
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
200
click to vote
AIME
2003
Springer
16 years 10 days ago
2003
Springer
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
184
click to vote
ICFEM
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...
187
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
187
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...