4340 search results - page 207 / 868 » Formal Methods and Cryptography |
136
Voted
B
1998
Springer
15 years 8 months ago
1998
Springer
This paper reports on the preparation of test cases using a prototype within the context of a formal development. It describes an approach to building a prototype using an example....
134
Voted
JISE
1998
15 years 4 months ago
1998
straction reduces the number of states necessary to perform formal verification while maintaining the functionality of the original model with respect to ifications to be verified....
151
click to vote
EUROCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
In spite of a relatively large number of publications about breaking Enigma by the Allies before and during the World War II, this subject remains relatively unknown not only to th...
100
click to vote
ERSHOV
2003
Springer
15 years 9 months ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...
120
click to vote
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...