DFKI-LT - Publications
| 2009 |
|
On the Automated Correction of Protocols with Improper Message Encoding in: 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 |
|
On the Automated Correction of Security Protocols Susceptible to a Replay Attack in: Proceedings of the 12th European Symposium On Research In Computer Security, Lectures Notes in Computer Science, Dresden, Germany, Springer-Verlag, 2007 |
|
A method for patching interleaving-replay attacks in faulty security protocols in: Proceedings of First Workshop on Verification and Debugging volume 174 number 4, |
| 2006 |
|
On the Use of Word Networks to Mimicry Attack Detection in: Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006, Springer-Verlag, LNCS, 2006 |
|
A method for patching interleaving-replay attacks in faulty security protocols in: Proceedings of First Workshop on Verification and Debugging at FloC2006, Electronic Notes in Theoretical Computer Science, 2006 |
| 2005 |
|
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 |
|
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, |
| 2004 |
|
Attribute Reduction for Effective Intrusion Detection in: Proceedings of Atlantic Web Intelligence Conference, AWIC04, Springer-Verlag, LNCS, 2004 |