2687 search results - page 153 / 538 » Formal Analysis of PKCS |
131
click to vote
COMPSAC
1999
IEEE
15 years 8 months ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...
156
click to vote
CADE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
144
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
127
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
148
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...