8828 search results - page 118 / 1766 » Formal methods in practice |
128
click to vote
CTRSA
2012
Springer
13 years 12 months ago
2012
Springer
We analyse and exploit implementation features in OpenSSL version 0.9.8g which permit an attack against ECDH-based functionality. The attack, although more general, can recover the...
121
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
133
click to vote
ERSHOV
2003
Springer
15 years 9 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
131
click to vote
MMSEC
2006
ACM
15 years 10 months ago
2006
ACM
Two different approaches for constructing a steganographic channel in an IEEE 802.11 (WLAN) network are introduced in this paper. First test results on the reliability, undetectab...
151
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...