2687 search results - page 286 / 538 » Formal Analysis of PKCS |
205
click to vote
ISORC
2005
IEEE
16 years 7 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
218
click to vote
ADAEUROPE
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
191
click to vote
CCS
2005
ACM
16 years 6 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
182
click to vote
IPSN
2005
Springer
16 years 5 days ago
2005
Springer
Maximizing system lifetime in battery-powered wireless sensor networks with power aware topology control protocols and routing protocols has received intensive research. In the pa...
179
click to vote
AMAST
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...