624 search results - page 35 / 125 » Application of Lightweight Formal Methods to Software Securi... |
131
click to vote
SAFECOMP
1998
Springer
15 years 7 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
137
click to vote
APSEC
1997
IEEE
15 years 8 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
124
click to vote
EUROPKI
2004
Springer
15 years 9 months ago
2004
Springer
We present a framework for extending the functionality of LDAP servers from their typical use as a public directory in public key infrastructures. In this framework the LDAP server...
167
click to vote
HPCA
2009
IEEE
16 years 4 months ago
2009
IEEE
Software cache-based side channel attacks present serious threats to modern computer systems. Using caches as a side channel, these attacks are able to derive secret keys used in ...
136
click to vote
ACSD
1998
IEEE
15 years 8 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...