91 search results - page 7 / 19 » Weak Composite Diffie-Hellman |
ENTCS
2010
13 years 7 months ago
2010
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
RFIDSEC
2010
13 years 2 months ago
2010
Abstract. We demonstrate two classes of attacks on EC-RAC, a growing set of RFID protocols. Our first class of attacks concerns the compositional approach used to construct a parti...
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
In agile software development, test code can considerably contribute to the overall source code size. Being a valuable asset both in terms of verification and documentation, the ...
AAI
2000
13 years 7 months ago
2000
This paper introduces a formally specified design of a compositional generic agent model (GAM). This del abstracts from specific application domains; it provides a unified formal ...
TACAS
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...