461 citations
- Institut Élie Cartan de LorraineFR3 papers
- Polish Academy of SciencesPL3 papers
- Université de LorraineFR3 papers
- Eötvös Loránd UniversityHU2 papers
- Institute of MathematicsPL2 papers
- Laboratoire de Statistique Théorique et AppliquéeFR2 papers
- Sorbonne UniversitéFR2 papers
- Brigham Young UniversityUS1 paper
- Czech Academy of Sciences, Institute of MathematicsCZ1 paper
- ETH ZurichCH1 paper
- Gesellschaft Fur Mathematik Und DatenverarbeitungDE1 paper
- Institute of Mathematics and InformaticsBG1 paper
6 papers · 1 filter
How to Work with Honest but Curious Judges? (Preliminary Report)
Jun Pang, Chenyi Zhang
The three-judges protocol, recently advocated by Mclver and Morgan as an example of stepwise refinement of security protocols, studies how to securely compute the majority function…
Improved identity-based identification using correcting codes
Pierre-Louis Cayrel, Philippe Gaborit, David Galindo +1
In this paper, a new identity-based identification scheme based on error-correcting codes is proposed. Two well known code-based schemes are combined : the signature scheme by Cour…
SANA - Security Analysis in Internet Traffic through Artificial Immune Systems
Michael Hilker, Christoph Schommer
The Attacks done by Viruses, Worms, Hackers, etc. are a Network Security-Problem in many Organisations. Current Intrusion Detection Systems have significant Disadvantages, e.g. the…
Service Oriented Architecture in Network Security - a novel Organisation in Security Systems
Michael Hilker, Christoph Schommer
Current network security systems are a collection of various security components, which are directly installed in the operating system. These check the whole node for suspicious be…
SANA - Network Protection through artificial Immunity
Michael Hilker, Christoph Schommer
Current network protection systems use a collection of intelligent components - e.g. classifiers or rule-based firewall systems to detect intrusions and anomalies and to secure a n…
A framework for compositional verification of security protocols
Suzana Andova, Cas Cremers, Kristian Gjosteen +3
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysis…