DFKI-LT - Publications

2009
 
Dieter Hutter, Raul Monroy
On the Automated Correction of Protocols with Improper Message Encoding
in: Luca Vigano, Pierpaolo Degano (eds.):
Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security,
Lectures Notes in Computer Science, York, United Kingdom, Springer Verlag, 2009
 
2007
 
Juan Lopez-Pimentel, Raul Monroy, Dieter Hutter
On the Automated Correction of Security Protocols Susceptible to a Replay Attack
in: J. Biskup (ed.):
Proceedings of the 12th European Symposium On Research In Computer Security,
Lectures Notes in Computer Science, Dresden, Germany, Springer-Verlag, 2007
 
Juan Lopez-Pimentel, Raul Monroy, Dieter Hutter
A method for patching interleaving-replay attacks in faulty security protocols
in: R. Bloem (ed.):
Proceedings of First Workshop on Verification and Debugging volume 174 number 4, Pages 117-130, Seattle, WA, USA, Electronic Notes in Theoretical Computer Science, 2007
 
2006
 
Fernando Godínez, Dieter Hutter, Raul Monroy
On the Use of Word Networks to Mimicry Attack Detection
in: Günter Müller (ed.):
Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006, 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 (ed.):
Proceedings of First Workshop on Verification and Debugging at FloC2006, Electronic Notes in Theoretical Computer Science, 2006
 
2005
 
Fernando Godínez, Dieter Hutter, Raul Monroy
Audit file reduction using n-gram models
Proceedings of the 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
Proceedings of the Fifth IEEE International Symposium and School on Advanced Distributed Systems, ISSADS 2005,
Lecture Notes in Computer Science, LNCS 3563, Pages 83-97, Springer-Verlag, 2005
 
2004
 
Fernando Godinez, Dieter Hutter, Raul Monroy
Attribute Reduction for Effective Intrusion Detection
in: J. Favela, E. Manasalvas (eds.):
Proceedings of Atlantic Web Intelligence Conference, AWIC04, Springer-Verlag, LNCS, 2004
 
Fernando Godínez, Dieter Hutter, Raul Monroy
Service Discrimination and Audit File Reduction for Effective Intrusion Detection
Proceedings of the 2004 Workshop on Information Security Applications, WISA`04,
Lecture Notes in Computer Science number 3325, Pages 101-115, Springer-Verlag, 2004