Publikationen

Seite 1 von 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 Theory of Security. Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA), located at Affiliated with ETAPS 2009, March 28-29, York, United Kingdom, Lectures Notes in Computer Science (LNCS), Springer Verlag, 2009.
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 (ESORICS-07), September 24 - August 26, Dresden, Germany, Lectures Notes in Computer Science (LNCS), Springer-Verlag, 2007.
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 Associated with CAV 2006, August 21, Seattle, WA, USA, Pages 117-130, Vol. 174, No. 4, Electronic Notes in Theoretical Computer Science, 2007.
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. International Conference on Emerging Trends in Information and Communication Security (ETRICS), Springer-Verlag, LNCS, 2006.
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 Theoretical Computer Science, 2006.
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, Springer-Verlag, LNCS 3570, 2005.
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 School on Advanced Distributed Systems (ISSADS), Pages 83-97, Lecture Notes in Computer Science, LNCS 3563, Springer-Verlag, 2005.
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, Springer, 2004.
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 101-115, Lecture Notes in Computer Science, No. 3325, Springer, 2004.