Search results for "security analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	John Lloyd, Jan Jürjens	Security Analysis of a Biometric Authentication System Using UMLsec and JML.	MoDELS	2009	DBLP DOI BibTeX RDF	UMLsec, Security analysis, biometric authentication, JML
3	Samrat Mondal, Shamik Sural, Vijayalakshmi Atluri	Towards formal security analysis of GTRBAC using timed automata.	SACMAT	2009	DBLP DOI BibTeX RDF	GTRBAC, model checking, timed automata, security analysis, ctl
3	Kevser Karaca, Albert Levi	Towards a framework for security analysis of multiple password schemes.	EUROSEC	2008	DBLP DOI BibTeX RDF	multiple passwords, security analysis, password based authentication, impersonation
3	Daniel Le Métayer	IT Security Analysis Best Practices and Formal Approaches.	FOSAD	2007	DBLP DOI BibTeX RDF
3	Janica Edmonds, Mauricio Papa, Sujeet Shenoi	Security Analysis of Multilayer SCADA Protocols.	Critical Infrastructure Protection	2007	DBLP DOI BibTeX RDF	Multilayer protocols, Modbus TCP, formal methods, security analysis
3	Jeanette Tsang, Konstantin Beznosov	A Security Analysis of the Precise Time Protocol (Short Paper).	ICICS	2006	DBLP DOI BibTeX RDF	IEEE 1588, Precise Time Protocol, Network Time Protocol, time synchronization, security analysis
3	Jan Jürjens, Mark Yampolskiy	Code security analysis with assertions.	ASE	2005	DBLP DOI BibTeX RDF	code security analysis, cryto-based software, cryptographic protocols, first-order logic, assertions, automated theorem proving, C programs
3	Guilin Wang, Feng Bao, Jianying Zhou, Robert H. Deng	Security Analysis of Some Proxy Signatures.	ICISC	2003	DBLP DOI BibTeX RDF	Digital signatures, security analysis, proxy signatures
3	Guillaume Poupard, Jacques Stern	Security Analysis of a Practical "on the fly" Authentication and Signature Generation.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	general discrete logarithm problem, minimal on-line computation, low cost smart cards, digital signature, security analysis, Identification scheme
2	Kai Fan, Hui Li, Yue Wang	Security Analysis of the Kerberos Protocol Using BAN Logic.	IAS	2009	DBLP DOI BibTeX RDF
2	Benedikt Westermann	Security Analysis of AN.ON's Payment Scheme.	NordSec	2009	DBLP DOI BibTeX RDF
2	Manuel Barbosa, Pooya Farshim	Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps.	AFRICACRYPT	2009	DBLP DOI BibTeX RDF	Key Agreement, Timestamp, Entity Authentication
2	Xuebing Zhou, Stephen D. Wolthusen, Christoph Busch, Arjan Kuijper	A Security Analysis of Biometric Template Protection Schemes.	ICIAR	2009	DBLP DOI BibTeX RDF	Biometric encryption, biometric template protection, correlation, attacks, security analysis
2	Pavel Laskov, Marius Kloft	A framework for quantitative security analysis of machine learning.	AISec	2009	DBLP DOI BibTeX RDF	adversarial learning, centroid anomaly detection, machine learning, intrusion detection, computer security
2	Martín Abadi	Logic in Access Control (Tutorial Notes).	FOSAD	2009	DBLP DOI BibTeX RDF
2	Manish Gupta 0004, Shamik Banerjee, Manish Agrawal, H. Raghav Rao	Security analysis of Internet technology components enabling globally distributed workplaces—a framework.	ACM Trans. Internet Techn.	2008	DBLP DOI BibTeX RDF	globally distributed workforce, risk management, Internet applications, Security analysis
2	Daniel Le Métayer, Claire Loiseaux	ASTRA : A Security Analysis Method Based on Asset Tracking.	SEC	2008	DBLP DOI BibTeX RDF
2	Ran Canetti	Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency.	ICALP	2008	DBLP DOI BibTeX RDF
2	Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd M. Austin, Valeria Bertacco, Seth Pettie	Testudo: Heavyweight security analysis via statistical sampling.	MICRO	2008	DBLP DOI BibTeX RDF
2	Pan Yan, Yanping Zhao, Cao Sanxing	Ontology-Based Information Content Security Analysis.	FSKD	2008	DBLP DOI BibTeX RDF
2	Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk	Universally Composable Security Analysis of TLS.	ProvSec	2008	DBLP DOI BibTeX RDF	TLS/SSL, secure sessions, key exchange, Universal Composability
2	Shoichi Hirose	Security Analysis of DRBG Using HMAC in NIST SP 800-90.	WISA	2008	DBLP DOI BibTeX RDF	NIST SP 800-90, pseudorandom bit generator, HMAC, pseudorandom function
2	Jan Jürjens, Jörg Schreck, Peter Bartmann	Model-based security analysis for mobile communications.	ICSE	2008	DBLP DOI BibTeX RDF	mobile telecommunication systems, umlsec, uml, model-based software engineering
2	Rong Du, Ernest Foo, Colin Boyd	Designing a secure e-tender submission protocol.	Electronic Commerce Research	2008	DBLP DOI BibTeX RDF	E-tendering, SHVT, Security, Cryptography, Security analysis, Procurement
2	Xinyi Huang, Willy Susilo, Yi Mu, Wei Wu	Secure universal designated verifier signature without random oracles.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Universal designated verifier signature, Gap Bilinear Diffie Hellman problem, Security analysis, Random oracle
2	Hung-Min Sun, Mu-En Wu, Wei-Chi Ting, M. Jason Hinek	Dual RSA and Its Security Analysis.	IEEE Transactions on Information Theory	2007	DBLP DOI BibTeX RDF
2	Prateek Gupta, Vitaly Shmatikov	Security Analysis of Voice-over-IP Protocols.	CSF	2007	DBLP DOI BibTeX RDF
2	Terrance E. Boult, Walter J. Scheirer, Robert Woodworth	Revocable Fingerprint Biotokens: Accuracy and Security Analysis.	CVPR	2007	DBLP DOI BibTeX RDF
2	Vee Liem Chee, Wei Chuen Yau	Security Analysis of TORA Routing Protocol.	ICCSA	2007	DBLP DOI BibTeX RDF	TORA, Ad Hoc Networks, Routing Protocols
2	Giorgos Kostopoulos, Odysseas G. Koufopavlou	Security Analysis of SIP Signalling during NASS-IMS bundled Authentication.	ICNS	2007	DBLP DOI BibTeX RDF	TISPAN, NASS-IMS Authentication, SIP Analysis, IP Multimedia Subsystem
2	Yanguo Liu, Issa Traoré	Systematic Security Analysis for Service-Oriented Software Architectures.	ICEBE	2007	DBLP DOI BibTeX RDF
2	Martín Abadi	Security Protocols: Principles and Calculi.	FOSAD	2007	DBLP DOI BibTeX RDF
2	Ninghui Li, Mahesh V. Tripunitara	Security analysis in role-based access control.	ACM Trans. Inf. Syst. Secur.	2006	DBLP DOI BibTeX RDF	role-based administration, Role-based access control, trust management, delegation
2	Jan Jürjens	Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.	ASE	2006	DBLP DOI BibTeX RDF
2	Tewolde Ghebregziabher, Jani Puttonen, Timo Hämäläinen 0002, Ari Viinikainen	Security Analysis of Flow-based Fast Handover Method for Mobile IPv6 Networks.	AINA	2006	DBLP DOI BibTeX RDF	FFHMIPv6, FFHBU, MIPv6 and Security
2	Namje Park, Seungjoo Kim, Dongho Won, Howon Kim	Security Analysis and Implementation Leveraging Globally Networked RFIDs.	PWC	2006	DBLP DOI BibTeX RDF
2	Dan Mossop, Ronald Pose	Information Leakage and Capability Forgery in a Capability-Based Operating System Kernel.	OTM Workshops	2006	DBLP DOI BibTeX RDF	Password-capabilities, access control, security analysis
2	Peter Herrmann, Gaby Herrmann	Security requirement analysis of business processes.	Electronic Commerce Research	2006	DBLP DOI BibTeX RDF	MoSSBP, Object-oriented security analysis, e-Commerce, Business process, Graph rewriting
2	Ninghui Li, John C. Mitchell, William H. Winsborough	Beyond proof-of-compliance: security analysis in trust management.	J. ACM	2005	DBLP DOI BibTeX RDF	Access control, logic programs, trust management, safety analysis, distributed system security
2	John C. Mitchell	Security analysis of network protocols: logical and computational methods.	PPDP	2005	DBLP DOI BibTeX RDF	security, network, protocols
2	Wiebke Dresp	Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets.	Communications and Multimedia Security	2005	DBLP DOI BibTeX RDF
2	Bengt Carlsson, Dejan Baca	Software Security Analysis - Execution Phase Audit.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
2	Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero	End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform.	FM	2005	DBLP DOI BibTeX RDF	UML, performance analysis, security analysis, process calculi
2	Joonsang Baek, Reihaneh Safavi-Naini, Willy Susilo	Efficient Multi-receiver Identity-Based Encryption and Its Application to Broadcast Encryption.	Public Key Cryptography	2005	DBLP DOI BibTeX RDF	Multi-Receiver Identity-Based Encryption, Formal Security Analysis, Public Key Broadcast Encryption
2	Wakaha Ogata, Kaoru Kurosawa, Swee-Huay Heng	The Security of the FDH Variant of Chaum's Undeniable Signature Scheme.	Public Key Cryptography	2005	DBLP DOI BibTeX RDF	security analysis, Undeniable signature
2	Emre Topak, Sviatoslav Voloshynovskiy, Oleksiy J. Koval, Mehmet Kivanç Mihçak, Thierry Pun	Towards geometrically robust data-hiding with structured codebooks.	Multimedia Syst.	2005	DBLP DOI BibTeX RDF	Robust data-hiding, Structured codebooks, Geometrical synchronization, Security analysis, Multiple access channel
2	Guilin Wang, Robert H. Deng, Dong Jin Kwak, Sang-Jae Moon	Security Analysis of Two Signcryption Schemes.	ISC	2004	DBLP DOI BibTeX RDF	digital signature, encryption, Signcryption
2	Alessandro Aldini, Marco Bernardo	An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.	SAFECOMP	2004	DBLP DOI BibTeX RDF
2	Ninghui Li, Mahesh V. Tripunitara	Security analysis in role-based access control.	SACMAT	2004	DBLP DOI BibTeX RDF	role-based administration, role-based access control, trust management, delegation
2	Alessandro Aldini, Marco Bernardo	TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation.	QEST	2004	DBLP DOI BibTeX RDF
2	Michele Di Santo, Nadia Ranaldo, D. Villacci, Eugenio Zimeo	Performing Security Analysis of Large Scale Power Systems with a Broker-based Computational Grid.	ITCC	2004	DBLP DOI BibTeX RDF
2	Tao Wan, Evangelos Kranakis, Paul C. van Oorschot	S-RIP: A Secure Distance Vector Routing Protocol.	ACNS	2004	DBLP DOI BibTeX RDF	Distance Fraud, Security Analysis, Routing Security, Distance Vector
2	Tao Wan, Evangelos Kranakis, Paul C. van Oorschot	Securing the Destination-Sequenced Distance Vector Routing Protocol (S-DSDV).	ICICS	2004	DBLP DOI BibTeX RDF	Security Analysis, Wireless Security, Routing Security, DSDV
2	Thitima Srivatanakul, John A. Clark, Fiona Polack	Effective Security Requirements Analysis: HAZOP and Use Cases.	ISC	2004	DBLP DOI BibTeX RDF	HAZOP, use case, requirement analysis, security analysis
2	Feng Bao	Security Analysis of a Password Authenticated Key Exchange Protocol.	ISC	2003	DBLP DOI BibTeX RDF
2	Thomas Groß	Security Analysis of the SAML Single Sign-on Browser/Artifact Profile.	ACSAC	2003	DBLP DOI BibTeX RDF
2	Guilin Wang	Security Analysis of Several Group Signature Schemes.	INDOCRYPT	2003	DBLP DOI BibTeX RDF	cryptanalysis, digital signature, group signature, forgery
2	Giovanni Vigna, Fredrik Valeur, Jingyu Zhou, Richard A. Kemmerer	Composable Tools For Network Discovery and Security Analysis.	ACSAC	2002	DBLP DOI BibTeX RDF	Network Modeling and Analysis, Network Discovery and Validation, Network Security
2	Kevin Lano, David Clark, Kelly Androutsopoulos	Safety and Security Analysis of Object-Oriented Models.	SAFECOMP	2002	DBLP DOI BibTeX RDF
2	Ran Canetti, Hugo Krawczyk	Security Analysis of IKE's Signature-Based Key-Exchange Protocol.	CRYPTO	2002	DBLP DOI BibTeX RDF
2	David von Oheimb, Volkmar Lotz	Formal Security Analysis with Interacting State Machines.	ESORICS	2002	DBLP DOI BibTeX RDF
2	Bingyang Zhou	Security Analysis and the DSM Model. (PDF / PS)	DEXA Workshops	2002	DBLP DOI BibTeX RDF	Information Systems, DSM, Client/Server
2	Christopher Krügel, Fredrik Valeur, Giovanni Vigna, Richard A. Kemmerer	Stateful Intrusion Detection for High-Speed Networks. (PDF / PS)	IEEE Symposium on Security and Privacy	2002	DBLP DOI BibTeX RDF	Intrusion Detection, High-Speed Networks, Security Analysis
2	Marc Joye, Jean-Jacques Quisquater, Sung-Ming Yen, Moti Yung	Observability Analysis - Detecting When Improved Cryptosystems Fail.	CT-RSA	2002	DBLP DOI BibTeX RDF	robustness, cryptanalysis, implementations, side-channel attacks, observability, Security analysis, fault analysis, cryptosystems
2	Jaechul Sung, Sangjin Lee, Jong In Lim, Wonil Lee, Okyeon Yi	Concrete Security Analysis of CTR-OFB and CTR-CFB Modes of Operation.	ICISC	2001	DBLP DOI BibTeX RDF	Pseudorandom Function Family, Symmetric Encryption Schemes, Modes of Operation, Concrete Security
2	Cristina Cifuentes, Trent Waddington, Mike Van Emmerik	Computer Security Analysis through Decompilation and High-Level Debugging. (PDF / PS)	WCRE	2001	DBLP DOI BibTeX RDF	security, reverse engineering, debugging, Decompilation
2	Ran Canetti, Marc Fischlin	Universally Composable Commitments.	CRYPTO	2001	DBLP DOI BibTeX RDF	security analysis of protocols, non-malleability, Commitment schemes, concurrent composition
2	Sigrid Gürgens, Javier Lopez	Suitability of a Classical Analysis Method for E-commerce Protocols.	ISC	2001	DBLP DOI BibTeX RDF	electronic commerce, cryptographic protocol, Security analysis, automatic theorem proving, protocol validation
2	Joshua D. Guttman	Security Goals: Packet Trajectories and Strand Spaces.	FOSAD	2000	DBLP DOI BibTeX RDF
1	Yuanzhuo Wang, Min Yu, Jingyuan Li, Kun Meng, Chuang Lin, Xueqi Cheng	Stochastic game net and applications in security analysis for enterprise network.	Int. J. Inf. Sec.	2012	DBLP DOI BibTeX RDF
1	Imran Erguler, Cihan Unsal, Emin Anarim, Gökay Saldamli	Security analysis of an ultra-lightweight RFID authentication protocol - SLMAP.	Security and Communication Networks	2012	DBLP DOI BibTeX RDF
1	Jianjie Zhao, Dawu Gu, Lei Zhang	Security analysis and enhancement for three-party password-based authenticated key exchange protocol.	Security and Communication Networks	2012	DBLP DOI BibTeX RDF
1	Fabrice Le Fessant, Antonis Papadimitriou, Aline Carneiro Viana, Cigdem Sengul, Esther Palomar	A sinkhole resilient protocol for wireless sensor networks: Performance and security analysis.	Computer Communications	2012	DBLP DOI BibTeX RDF
1	Yongyuth Permpoontanalarp, Apichai Changkhanak	On-the-Fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-Based Method.	IEICE Transactions	2012	DBLP BibTeX RDF
1	E. Onem, A. Burak Gürdag, M. Ufuk Çaglayan	Formal security analysis of Ariadne secure routing protocol using model checking.	IJAHUC	2012	DBLP DOI BibTeX RDF
1	Liangliang Xiao, I-Ling Yen	Security Analysis and Enhancement for Prefix-Preserving Encryption Schemes.	IACR Cryptology ePrint Archive	2012	DBLP BibTeX RDF
1	Feng Hao, Dylan Clarke	Security Analysis of a Multi-Factor Authenticated Key Exchange Protocol.	IACR Cryptology ePrint Archive	2012	DBLP BibTeX RDF
1	Guilin Wang, Jiangshan Yu, Qi Xie	Security Analysis of A Single Sign-On Mechanism for Distributed Computer Networks.	IACR Cryptology ePrint Archive	2012	DBLP BibTeX RDF
1	Mohsen Toorani	Security Analysis of J-PAKE.	IACR Cryptology ePrint Archive	2012	DBLP BibTeX RDF
1	Jesus Diaz, David Arroyo, Francisco B. Rodriguez	Formal security analysis of registration protocols for interactive systems: a methodology and a case of study	CoRR	2012	DBLP BibTeX RDF
1	Masahito Hayashi	Classical and quantum security analysis via smoothing of Renyi entropy of order 2	CoRR	2012	DBLP BibTeX RDF
1	Stig Fr. Mjølsnes, Joe-Kai Tsay	Computational Security Analysis of the UMTS and LTE Authentication and Key Agreement Protocols	CoRR	2012	DBLP BibTeX RDF
1	Chuah Chai Wen, Ed Dawson, Juan Manuel González Nieto, Leonie Simpson	A Framework for Security Analysis of Key Derivation Functions.	ISPEC	2012	DBLP DOI BibTeX RDF
1	Surabhi Anand, Priya Jain, Nitin, Ravi Rastogi	Security Analysis and Implementation of 3-Level Security System Using Image Based Authentication.	UKSim	2012	DBLP DOI BibTeX RDF
1	Jeyavijayan Rajendran, Youngok Pino, Ozgur Sinanoglu, Ramesh Karri	Security analysis of logic obfuscation.	DAC	2012	DBLP DOI BibTeX RDF
1	Lassaad Cheikhrouhou, Werner Stephan, Özgür Dagdelen, Marc Fischlin, Markus Ullmann	Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE.	Sicherheit	2012	DBLP BibTeX RDF
1	Jean-Sébastien Coron, Aline Gouget, Thomas Icart, Pascal Paillier	Supplemental Access Control (PACE v2): Security Analysis of PACE Integrated Mapping.	Cryptography and Security	2012	DBLP DOI BibTeX RDF
1	Jonathan Valamehr, Ted Huffmire, Cynthia E. Irvine, Ryan Kastner, Çetin Kaya Koç, Timothy E. Levin, Timothy Sherwood	A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-processors.	Cryptography and Security	2012	DBLP DOI BibTeX RDF
1	Benjamin Mounier, Anne-Lise Ribotta, Jacques Fournier, Michel Agoyan, Assia Tria	EM Probes Characterisation for Security Analysis.	Cryptography and Security	2012	DBLP DOI BibTeX RDF
1	Ali Sunyaev	Health-care telematics in Germany: design and application of a security analysis method.		2011	RDF
1	Naixue Xiong, Fan Yang, Hongyan Li, Jong Hyuk Park, Yuan-Shun Dai, Yi Pan	Security analysis and improvements of IEEE standard 802.16 in next generation wireless metropolitan access network.	Wireless Communications and Mobile Computing	2011	DBLP DOI BibTeX RDF
1	Victor Pomponiu, Davide Cavagnino	Security analysis of SVD-based watermarking techniques.	IJMIS	2011	DBLP DOI BibTeX RDF
1	Weiqi Luo, Yuan-Gen Wang, Jiwu Huang	Security Analysis on Spatial ± 1 Steganography for JPEG Decompressed Images.	IEEE Signal Process. Lett.	2011	DBLP DOI BibTeX RDF
1	Frank A. Zdarsky, Sebastian Robitzsch, Albert Banchs	Security analysis of wireless mesh backhauls for mobile networks.	J. Network and Computer Applications	2011	DBLP DOI BibTeX RDF
1	Chong Hee Kim	Security Analysis of YKHL Distance Bounding Protocol with Adjustable False Acceptance Rate.	IEEE Communications Letters	2011	DBLP DOI BibTeX RDF
1	Fei Chen, Xiaofeng Liao, Tao Xiang, Hongying Zheng	Security analysis of the public key algorithm based on Chebyshev polynomials over the integer ring ZN.	Inf. Sci.	2011	DBLP DOI BibTeX RDF
1	Suresh Chari, Charanjit S. Jutla, Arnab Roy	Universally Composable Security Analysis of OAuth v2.0.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Miaomiao Tian, Liusheng Huang, Wei Yang	Security analysis of a fuzzy identity-based encryption scheme.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Tibor Jager, Florian Kohlar, Sven Schäge, Jörg Schwenk	A Standard-Model Security Analysis of TLS-DHE.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Nasour Bagheri, Masoumeh Safkhani, Majid Naderi, Somitra Kumar Sanadhya	Security Analysis of LMAP++, an RFID Authentication Protocol.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF