2687 search results - page 285 / 538 » Formal Analysis of PKCS |
139
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
stractions for Floating-Point Arithmetic Angelo Brillout Computer Systems Institute, ETH Zurich Daniel Kroening and Thomas Wahl Oxford University Computing Laboratory Abstract—Fl...
171
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
170
click to vote
FORMATS
2007
Springer
16 years 25 days ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
208
click to vote
IFM
2007
Springer
16 years 24 days ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
161
click to vote
ACSAC
2006
IEEE
16 years 22 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...