Skip to main content Skip to main navigation

Publikationen

Seite 1 von 1.

  1. Dieter Hutter; Raul Monroy

    On the Automated Correction of Protocols with Improper Message Encoding

    In: Luca Vigano; Pierpaolo Degano (Hrsg.). Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the …

  2. Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter

    On the Automated Correction of Security Protocols Susceptible to a Replay Attack

    In: J. Biskup (Hrsg.). Proceedings of the 12th European Symposium On Research In Computer Security. European Symposium on Computer Security …

  3. Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter

    A method for patching interleaving-replay attacks in faulty security protocols

    In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging. Workshop on Verification and Debugging (V&D-2006), located at …

  4. Fernando Godínez; Dieter Hutter; Raul Monroy

    On the Use of Word Networks to Mimicry Attack Detection

    In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. …

  5. Juan Lopez-Pimentel; Raul Monroy; Dieter Hutter

    A method for patching interleaving-replay attacks in faulty security protocols

    In: R. Bloem (Hrsg.). Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC), Electronic Notes in …

  6. Fernando Godínez; Dieter Hutter; Raul Monroy

    Audit file reduction using n-gram models

    In: Proceedings of the Financial Cryptography and Data Security. Financial Cryptography and Data Security, Lecture Notes in Computer Science, …

  7. Fernando Godínez; Dieter Hutter; Raul Monroy

    On the Role of Information Compaction to Intrusion Detection

    In: Proceedings of the Fifth IEEE International Symposium and School on Advanced Distributed Systems, ISSADS 2005. IEEE International Symposium and …

  8. Fernando Godinez; Dieter Hutter; Raul Monroy

    Attribute Reduction for Effective Intrusion Detection

    In: J. Favela; E. Manasalvas (Hrsg.). Proceedings of Atlantic Web Intelligence Conference, AWIC04. Atlantic Web Intelligence Conference (AWIC), LNCS, …

  9. Fernando Godínez; Dieter Hutter; Raul Monroy

    Service Discrimination and Audit File Reduction for Effective Intrusion Detection

    In: Proceedings of the 2004 Workshop on Information Security Applications, WISA`04. Workshop on Information Security Applications (WISA-2004), Pages …