L. Marraro and F. Massacci, "Towards the formal verification of ciphers: logical cryptanalysis of DES," LICS Workshop on Formal Methods and Security Protocols, the Federated Logic Conf. (FLOC), July 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Goal-Oriented Elaboration of Security Requirements - Fontaine, van Lamsweerde.. (2001) (2 citations) (Correct)
....absolute because there is no proof that the factorisation is a NP complete problem. Work has been done to use logics for encoding the low level properties of cryptographic algorithms and then use automated theorem proving for reasoning about them. This approach is called logical cryptanalysis [Mas99] Protocol layer : Formal methods have been developed since twenty years to support the verification of protocols. Some specialised tools along with existing general purpose have 10 been used to demonstrate the absence or the presence of flaws in protocols. Such tools include NRL, FDR, The ....
L. Marraro, F. Massacci , "Towards the Formal Verification of Ciphers: Logical Cryptanalysis of DES". In E. Clarke and N. Heintze, editors, Third lics workshop on formal methods and security protocols. Federated Logic Conferences FLOC-99, July 1999.
Is Quantum Search Practical? - George Viamontes Igor (Correct)
No context found.
L. Marraro and F. Massacci, "Towards the formal verification of ciphers: logical cryptanalysis of DES," LICS Workshop on Formal Methods and Security Protocols, the Federated Logic Conf. (FLOC), July 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC