1676 search results - page 106 / 336 » Formal Development of Self-organising Systems |
CTRSA
2012
Springer
13 years 5 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...
ICFEM
1998
Springer
15 years 2 months ago
1998
Springer
We introduce the formal notion of an interaction interface. Its purpose is to specify formally the interaction between two or more components that co-operate as subsystems of a di...
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper provides a retrospective view of the design of SRI’s Provably Secure Operating System (PSOS), a formally specified tagged-capability hierarchical system architecture...
PDSE
1998
14 years 11 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
A hierarchical system design flow was developed to facilitate concurrent development and Time-to-Market reductions. The system design flow provides for codesign of (embedded) driv...