Search results for "attacker model"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jared Cordasco, Susanne Wetzel	An attacker model for MANET routing security.	WISEC	2009	DBLP DOI BibTeX RDF	security, routing, ad-hoc, manet, attacker model
2	Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou	A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats.	COMPSAC	2008	DBLP DOI BibTeX RDF	security, model checking, Denial of Service
2	Guido Boella, Leendert W. N. van der Torre	An Attacker Model for Normative Multi-agent Systems.	CEEMAS	2007	DBLP DOI BibTeX RDF
1	Jan Cederquist, Mohammad Torabi Dashti	Complexity of fairness constraints for the Dolev-Yao attacker model.	SAC	2011	DBLP DOI BibTeX RDF
1	Toni Perkovic, Mario Cagalj, Nitesh Saxena	Shoulder-Surfing Safe Login in a Partially Observable Attacker Model.	Financial Cryptography	2010	DBLP DOI BibTeX RDF
1	Adedayo Adetoye, Atta Badii	A Policy Model for Secure Information Flow.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Srdjan Capkun, Mario Cagalj, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Jean-Pierre Hubaux, Mani B. Srivastava	Integrity Codes: Message Integrity Protection and Authentication over Insecure Channels.	IEEE Trans. Dependable Sec. Comput.	2008	DBLP DOI BibTeX RDF
1	Wei Wang, Dongyao Ji	Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol.	FORTE	2008	DBLP DOI BibTeX RDF	AACS, Authenticity, SPIN, LTL, Collusion Attack, Model Checker
1	Ghaith Hammouri, Erdinç Öztürk, Berk Birand, Berk Sunar	Unclonable Lightweight Authentication Scheme.	ICICS	2008	DBLP DOI BibTeX RDF	tamper-resilience, HB+, Provable security, random number generation, lightweight, PUF
1	Karsten Nohl, David Evans	Hiding in Groups: On the Expressiveness of Privacy Distributions.	SEC	2008	DBLP DOI BibTeX RDF
1	Erdinç Öztürk, Gunnar Gaubatz, Berk Sunar	Tate Pairing with Strong Fault Resiliency.	FDTC	2007	DBLP DOI BibTeX RDF
1	Guoqiang Shu, David Lee	Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach.	ICDCS	2007	DBLP DOI BibTeX RDF
1	Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn	Verifying Smart Card Applications: An ASM Approach.	IFM	2007	DBLP DOI BibTeX RDF
1	Haowen Chan, Debabrata Dash, Adrian Perrig, Hui Zhang	Modeling adoptability of secure BGP protocol.	SIGCOMM	2006	DBLP DOI BibTeX RDF	adoption dynamics, adoptability, incentives-compatibility
1	Mario Cagalj, Jean-Pierre Hubaux, Srdjan Capkun, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Mani B. Srivastava	Integrity (I) Codes: Message Integrity Protection and Authentication Over Insecure Channels.	IEEE Symposium on Security and Privacy	2006	DBLP DOI BibTeX RDF
1	Andriy Panchenko, Lexi Pimenidis	Towards Practical Attacker Classification for Risk Analysis in Anonymous Communication.	Communications and Multimedia Security	2006	DBLP DOI BibTeX RDF
1	Sebastian Clauß	A Framework for Quantification of Linkability Within a Privacy-Enhancing Identity Management System.	ETRICS	2006	DBLP DOI BibTeX RDF
1	Rafael Accorsi	On the Relationship of Privacy and Secure Remote Logging in Dynamic Systems.	SEC	2006	DBLP DOI BibTeX RDF
1	Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei	Energy efficient node-to-node authentication and communication confidentiality in wireless sensor networks.	Wireless Networks	2006	DBLP DOI BibTeX RDF	Probabilistic authentication, Wireless sensor networks, Key management, Confidentiality, Energy saving, Information leakage
1	V. Krishna Nandivada, Jens Palsberg	Timing Analysis of TCP Servers for Surviving Denial-of-Service Attacks.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
1	Haowen Chan, Virgil D. Gligor, Adrian Perrig, Gautam Muralidharan	On the Distribution and Revocation of Cryptographic Keys in Sensor Networks.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	security, Sensor networks, distributed algorithms, key management, key distribution, revocation
1	Christian Haack, Alan Jeffrey	Timed Spi-Calculus with Types for Secrecy and Authenticity.	CONCUR	2005	DBLP DOI BibTeX RDF
1	Erez Shmueli, Ronen Waisenberg, Yuval Elovici, Ehud Gudes	Designing Secure Indexes for Encrypted Databases.	DBSec	2005	DBLP DOI BibTeX RDF
1	Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin	Exploiting Empirical Engagement in Authentication Protocol Design.	SPC	2005	DBLP DOI BibTeX RDF
1	Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh	Generic Verification of Security Protocols.	SPIN	2005	DBLP DOI BibTeX RDF
1	Roberto Di Pietro, Luigi V. Mancini, Alessandro Mei	Efficient and Resilient Key Discovery Based on Pseudo-Random Key Pre-Deployment.	IPDPS	2004	DBLP DOI BibTeX RDF
1	Alf Zugenmaier, Michael Kreutzer, Günter Müller	The Freiburg Privacy Diamond: An Attacker Model for a Mobile Computing Environment.	KiVS Kurzbeiträge	2003	DBLP BibTeX RDF
1	Oliver Berthold, Heinrich Langos	Dummy Traffic against Long Term Intersection Attacks.	Privacy Enhancing Technologies	2002	DBLP DOI BibTeX RDF