4340 search results - page 602 / 868 » Formal Methods and Cryptography |
180
click to vote
CCS
2005
ACM
16 years 3 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
170
click to vote
ER
2005
Springer
16 years 3 days ago
2005
Springer
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...
170
click to vote
ESOP
2005
Springer
16 years 3 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
171
click to vote
FM
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
162
click to vote
FM
2005
Springer
16 years 3 days ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...