Search results for "Security protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos	Formal Validation of OFEPSP+ with AVISPA.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF	AVISPA, security protocol, Fair exchange, SPAN, formal validation
3	Mengjun Li, Ti Zhou, Zhoujun Li	SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming.	Inscrypt	2008	DBLP DOI BibTeX RDF	non-termination characterization and prediction, abstract and refinement, security protocol
3	Jung-Hyun Oh, Hyun Seok Kim, Jin-Young Choi	A Light-weight Security Protocol for RFID System.	PWC	2007	DBLP DOI BibTeX RDF	GNY logic, RFID, Security protocol, One-time pad
3	Jia Zhai, Chang Mok Park, Gi-Nam Wang	Hash-Based RFID Security Protocol Using Randomly Key-Changed Identification Procedure.	ICCSA	2006	DBLP DOI BibTeX RDF	Randomly Key-Changed Identification, Hash Functions, Security Protocol, RFID (Radio Frequency Identification)
2	Anderson Nunes Paiva Morais, Eliane Martins, Ana R. Cavalli, Willy Jimenez	Security Protocol Testing Using Attack Trees.	CSE	2009	DBLP DOI BibTeX RDF
2	Luca Compagna, Ulrich Flegel, Volkmar Lotz	Towards Validating Security Protocol Deployment in the Wild.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Sagar Chaki, Anupam Datta	ASPIER: An Automated Framework for Verifying Security Protocol Implementations.	CSF	2009	DBLP DOI BibTeX RDF	model checking, verification, security protocol, abstraction refinement
2	Reiner Dojen, Vladimir Pasca, Tom Coffey	Impersonation Attacks on a Mobile Security Protocol for End-to-End Communications.	MobiSec	2009	DBLP DOI BibTeX RDF	Mobile end-to-end communication, analysis of security protocols, authentication and secrecy protocol, impersonation attack
2	Sibylle B. Fröschle, Graham Steel	Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
2	Kameswari Kotapati, Peng Liu, Thomas F. La Porta	Evaluating MAPSec by marking attack graphs.	Wireless Networks	2009	DBLP DOI BibTeX RDF	Security protocol evaluation, MAPSec evaluation, eCAT, Mobile telecommunication networks, Attack graphs, Vulnerability assessment
2	Andrea Bracciali, GianLuigi Ferrari, Emilio Tuosto	A symbolic framework for multi-faceted security protocol analysis.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Automated verification tools, Formal verification, Security protocols, Symbolic model checking
2	Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif	Verification of Mondex electronic purses with KIV: from transactions to a security protocol.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Verification, Refinement, Security protocol, Z, ASM, Mondex
2	Shujing Wang, Yan Zhang	A Logic Programming Based Framework for Security Protocol Verification.	ISMIS	2008	DBLP DOI BibTeX RDF
2	Xiaogang Wang, Darren Xu, Junzhou Luo	A Free-Roaming Mobile Agent Security Protocol Based on Anonymous Onion Routing and k Anonymous Hops Backwards.	ATC	2008	DBLP DOI BibTeX RDF	Colluded Truncation, Anonymous Onion Routing, Mobile Agent
2	Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif	Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code.	FM	2008	DBLP DOI BibTeX RDF
2	Yi-Ying Zhang, WenCheng Yang, Kee-Bum Kim, Min-Yu Cui, Myong-Soon Park	A Rekey-Boosted Security Protocol in Hierarchical Wireless Sensor Network.	MUE	2008	DBLP DOI BibTeX RDF	Security, Wireless sensor network, Rekey
2	Béla Genge, Piroska Haller, Ovidiu Ratoi	Constructing Security Protocol Specifications for Web Services.	IDC	2008	DBLP DOI BibTeX RDF
2	Youssef Hanna, Hridesh Rajan, Wensheng Zhang 0001	Slede: a domain-specific verification framework for sensor network security protocol implementations.	WISEC	2008	DBLP DOI BibTeX RDF	intruder generation, sensor networks, model checking, security protocols
2	Cas J. F. Cremers	On the protocol composition logic PCL.	ASIACCS	2008	DBLP DOI BibTeX RDF	security protocol analysis, composition, logic
2	Juan Wang, Jingwei Zhang, Huanguo Zhang	Type Flaw Attacks and Prevention in Security Protocols.	SNPD	2008	DBLP DOI BibTeX RDF	type flaw attack, GDOI, security protocol
2	Halvard Skogsrud, Boualem Benatallah, Fabio Casati, Farouk Toumani	Managing Impacts of Security Protocol Changes in Service-Oriented Applications.	ICSE	2007	DBLP DOI BibTeX RDF
2	Youssef Hanna	SLEDE: lightweight verification of sensor network security protocol implementations.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	Slede, sensor networks, model checking, security protocols
2	Youssef Hanna	SLEDE: lightweight verification of sensor network security protocol implementations.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	slede, sensor networks, model checking, security protocols
2	Xiao Ni, Weiren Shi, V. F. S. Fook	AES Security Protocol Implementation for Automobile Remote Keyless System.	VTC Spring	2007	DBLP DOI BibTeX RDF
2	Iliano Cervesato, Mark-Oliver Stehr	Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Multiset rewriting, Specification, Security protocol, Dependent types
2	Wassim Itani, Ayman I. Kayssi, Ali Chehab	An enterprise policy-based security protocol for protecting relational database network objects.	IWCMC	2006	DBLP DOI BibTeX RDF	customizable security, policy-driven security, security, relational databases
2	Carole Bassil, Ahmed Serhrouchni, Nicolas Rouhana	Simple voice security protocol.	IWCMC	2006	DBLP DOI BibTeX RDF	SVSP, security mechanisms, telephony, security services
2	Elankayer Sithirasenan, Saad Zafar, Vallipuram Muthukkumarasamy	Formal Verification of the IEEE 802.11i WLAN Security Protocol.	ASWEC	2006	DBLP DOI BibTeX RDF
2	Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz	Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language).	ACSD	2006	DBLP DOI BibTeX RDF
2	James Heather, Steve Schneider	To infinity and beyond or, avoiding the infinite in security protocol analysis.	SAC	2006	DBLP DOI BibTeX RDF	model checking, security protocols, strand spaces
2	Darren Xu, Lein Harn, Mayur Narasimhan, Junzhou Luo	An Improved Free-Roaming Mobile Agent Security Protocol against Colluded Truncation Attacks.	COMPSAC	2006	DBLP DOI BibTeX RDF
2	Jianzhong Huang, Changsheng Xie, Guangxi Zhu, Zhou Gang, Wu Wei	Design and Analysis of a Third-Party Security Protocol for Storage System.	IWNAS	2006	DBLP DOI BibTeX RDF
2	Riaz Ahmed Shaikh, Sungyoung Lee, Mohammad A. U. Khan, Young Jae Song	LSec: Lightweight Security Protocol for Distributed Wireless Sensor Network.	PWC	2006	DBLP DOI BibTeX RDF
2	Seog Chung Seo, Hyung Chan Kim, R. S. Ramakrishna	A New Security Protocol Based on Elliptic Curve Cryptosystems for Securing Wireless Sensor Networks.	EUC Workshops	2006	DBLP DOI BibTeX RDF
2	Jin Wook Lee, Yann-Hang Lee, Hasan Cam	SPDA: A Security Protocol for Data Aggregation in Large-Scale Wireless Sensor Networks.	EUC	2006	DBLP DOI BibTeX RDF
2	Attila Altay Yavuz, Fatih Alagöz, Emin Anarim	HIMUTSIS: Hierarchical Multi-tier Adaptive Ad-Hoc Network Security Protocol Based on Signcryption Type Key Exchange Schemes.	ISCIS	2006	DBLP DOI BibTeX RDF
2	Zongwei Luo, Terry Chan, Jenny S. Li, Edward C. Wong, William K. Cheung, Victor Ng, Wilton Fok	Experimental Analysis of an RFID Security Protocol.	ICEBE	2006	DBLP DOI BibTeX RDF
2	William G. Sirett, John A. MacDonald, Keith Mayes, Constantinos Markantonakis	Design, Installation and Execution of a Security Agent for Mobile Stations.	CARDIS	2006	DBLP DOI BibTeX RDF	Application Deployment, JSR177, MIDP2.0, Smart Card, Security Protocol, GSM, Mobile Station, Security Agent
2	Guilin Wang, Feng Bao, Jianying Zhou	The Fairness of Perfect Concurrent Signatures.	ICICS	2006	DBLP DOI BibTeX RDF	security protocol, fair exchange, Concurrent signature
2	Dengguo Feng, Xiaoyun Wang	Progress and Prospect of Some Fundamental Research on Information Security in China.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	information security, security protocol, cryptology, security infrastructure
2	Reiner Dojen, Tom Coffey	The concept of layered proving trees and its application to the automation of security protocol verification.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	automated protocol verification, logic-based verification of security protocols, cryptography, Security protocols, cryptographic protocols
2	Michael Factor, David Nagle, Dalit Naor, Erik Riedel, Julian Satran	The OSD Security Protocol.	IEEE Security in Storage Workshop	2005	DBLP DOI BibTeX RDF
2	Joel Sing, Ben Soh	A Critical Analysis of Multilayer IP Security Protocol.	ICITA	2005	DBLP DOI BibTeX RDF
2	Zhenfeng Zhang, Jing Xu, Dengguo Feng	Efficient Identity-Based Protocol for Fair Certified E-mail Delivery.	CANS	2005	DBLP DOI BibTeX RDF	Security protocol, Fair exchange, Identity-based signature, Certified E-mail
2	Guilin Wang, Feng Bao, Kenji Imamoto, Kouichi Sakurai	Generic, Optimistic, and Efficient Schemes for Fair Certified Email Delivery.	ICICS	2005	DBLP DOI BibTeX RDF	security protocol, non-repudiation, fair exchange, certified email
2	Jose Antonio Onieva, Jianying Zhou, Javier Lopez	Attacking an Asynchronous Multi-party Contract Signing Protocol.	INDOCRYPT	2005	DBLP DOI BibTeX RDF	multi-party contract signing, security protocol analysis, Secure electronic commerce
2	Taejoon Park, Kang G. Shin	LiSP: A lightweight security protocol for wireless sensor networks.	ACM Trans. Embedded Comput. Syst.	2004	DBLP DOI BibTeX RDF	lightweight security, sensor networks, Authentication, key management
2	Yongguang Zhang	A multilayer IP security protocol for TCP performance enhancement in wireless networks.	IEEE Journal on Selected Areas in Communications	2004	DBLP DOI BibTeX RDF
2	Aleksandra Nenadic, Ning Zhang, Stephen Barton	A Security Protocol for Certified E-Goods Delivery.	ITCC	2004	DBLP DOI BibTeX RDF
2	Yafen Li, Wuu Yang, Ching-Wei Huang	Preventing type flaw attacks on security protocols with a simplified tagging scheme.	ISICT	2004	DBLP DOI BibTeX RDF	type flaw, network security, tagging, security protocol, strand space
2	Song Han, Jie Wang, Wanquan Liu	An Efficient Identity-Based Group Signature Scheme over Elliptic Curves.	ECUMN	2004	DBLP DOI BibTeX RDF	Network Security, Anonymity, Security Protocol, Group Signatures, Weil Pairings
2	Jianying Zhou	On the Security of a Multi-party Certified Email Protocol.	ICICS	2004	DBLP DOI BibTeX RDF	security protocol, non-repudiation, certified email
2	Tom Coffey, Reiner Dojen	Analysis of a mobile communication security protocol.	ISICT	2003	DBLP DOI BibTeX RDF	BCY protocol, formal verification, security protocols, modal logics
2	Engelbert Hubbers, Martijn Oostdijk, Erik Poll	Implementing a Formally Verifiable Security Protocol in Java Card.	SPC	2003	DBLP DOI BibTeX RDF
2	Kazuhiro Ogata, Kokichi Futatsugi	Formal Analysis of the NetBill Electronic Commerce Protocol.	ISSS	2003	DBLP DOI BibTeX RDF	NetBill, OTS, verification, electronic commerce, security protocol, algebraic specification, CafeOBJ
2	Joseph Y. Halpern, Riccardo Pucella	Modeling Adversaries in a Logic for Security Protocol Analysis.	FASec	2002	DBLP DOI BibTeX RDF
2	John C. Mitchell	Multiset Rewriting and Security Protocol Analysis.	RTA	2002	DBLP DOI BibTeX RDF
2	Alessandro Armando, David A. Basin, Mehdi Bouallagui, Yannick Chevalier, Luca Compagna, Sebastian Mödersheim, Michaël Rusinowitch, Mathieu Turuani, Luca Viganò, Laurent Vigneron	The AVISS Security Protocol Analysis Tool.	CAV	2002	DBLP DOI BibTeX RDF
2	Domenico Cotroneo, L. Peluso, Simon Pietro Romano, Giorgio Ventre	An active security protocol against DoS attacks.	ISCC	2002	DBLP DOI BibTeX RDF	Network Security, Denial of Service, Signaling protocols
2	Giampaolo Bella, Stefano Bistarelli	Soft Constraints for Security Protocol Analysis: Confidentiality.	PADL	2001	DBLP DOI BibTeX RDF
2	Takuya Otsuka, Akira Onozawa	Personal Information Market: Toward a Secure and Efficient Trade of Privacy.	Human.Society@Internet	2001	DBLP DOI BibTeX RDF	privacy control, e-commerce, security protocol, information sharing
2	John Patrick McGregor, Ruby B. Lee	Performance Impact of Data Compression on Virtual Private Network Transactions. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	virtual private network transactions, secure public network communications, host authentication, IP Security Protocol, IPsec transactions, network types, 1 Gbit/s, 10 Mbit/s, Internet, performance, authentication, cryptography, data integrity, data integrity, data compression, data compression, encryption, transport protocols, packet switching, cryptographic protocols, confidentiality, system model, IPsec, message authentication, data types, VPN, telecommunication networks, telecommunication security, compression algorithms, business communication, security services, cryptographic algorithms, packet sizes, 100 Mbit/s
2	Bruce Schneier, Chris Hall	An Improved E-Mail Security Protocol.	ACSAC	1997	DBLP DOI BibTeX RDF	electronic mail security protocol, long-term private key, message decryption, short-term private-key/public-key key pairs, encryption, vulnerability, electronic mail, secrecy
1	Alfredo Pironti, Davide Pozza, Riccardo Sisto	Formally based semi-automatic implementation of an open security protocol.	Journal of Systems and Software	2012	DBLP DOI BibTeX RDF
1	Zhuzhong Qian, Ce Chen, Ilsun You, Sanglu Lu	ACSP: A novel security protocol against counting attack for UHF RFID systems.	Computers & Mathematics with Applications	2012	DBLP DOI BibTeX RDF
1	Necla Bandirmali, Ismail Erturk	WSNSec: A scalable data link layer security protocol for WSNs.	Ad Hoc Networks	2012	DBLP DOI BibTeX RDF
1	Bruno Blanchet	Security Protocol Verification: Symbolic and Computational Models.	POST	2012	DBLP DOI BibTeX RDF
1	Chol Soon Jang, Deok-Gyu Lee, Jong Wook Han, Jong Hyuk Park	Hybrid security protocol for wireless body area networks.	Wireless Communications and Mobile Computing	2011	DBLP DOI BibTeX RDF
1	David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò	Distributed temporal logic for the analysis of security protocol models.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	A. V. Nikeshin, Nikolay V. Pakulin, V. Z. Shnitman	Development of a test suite for the verification of implementations of the IPsec v2 security protocol.	Programming and Computer Software	2011	DBLP DOI BibTeX RDF
1	Kai Xi, Tohari Ahmad, Fengling Han, Jiankun Hu	A fingerprint based bio-cryptographic security protocol designed for client/server authentication in mobile computing environment.	Security and Communication Networks	2011	DBLP DOI BibTeX RDF
1	Imane Aly Saroit, Said Fathy El-Zoghdy, Mostafa Matar	A Scalable and Distributed Security Protocol for Multicast Communications.	I. J. Network Security	2011	DBLP BibTeX RDF
1	Boyeon Song, Jung Yeon Hwang, Kyung-Ah Shim	Security Improvement of an RFID Security Protocol of ISO/IEC WD 29167-6.	IEEE Communications Letters	2011	DBLP DOI BibTeX RDF
1	Masoumeh Safkhani, Nasour Bagheri, Majid Naderi	On the Security of RFID Anti Cloning Security Protocol(ACSP).	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Ayu Tiwari, Sudip Sanyal, Ajith Abraham, Svein Johan Knapskog, Sugata Sanyal	A Multi-Factor Security Protocol for Wireless Payment - Secure Web Authentication using Mobile Devices	CoRR	2011	DBLP BibTeX RDF
1	Maria-Camilla Fiazza, Michele Peroli, Luca Viganò	Attack Interference in Non-Collaborative Scenarios for Security Protocol Analysis [Extended Version]	CoRR	2011	DBLP BibTeX RDF
1	Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto	JavaSPI: A Framework for Security Protocol Implementation.	IJSSE	2011	DBLP DOI BibTeX RDF
1	Farshad Amin, Amir Hossein Jahangir	Time and energy cost analysis of Kerberos security protocol in Wireless Sensor Networks.	IAS	2011	DBLP DOI BibTeX RDF
1	Tao Yan, Qiaoyan Wen	Building the Internet of Things Using a Mobile RFID Security Protocol Based on Information Technology.	CSISE	2011	DBLP DOI BibTeX RDF
1	Alessandro Armando, Gavin Lowe (eds.)	Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers	ARSPA-WITS	2011	DBLP DOI BibTeX RDF
1	Ce Chen, Zhuzhong Qian, Ilsun You, Jue Hong, Sanglu Lu	ACSP: A Novel Security Protocol against Counting Attack for UHF RFID Systems.	IMIS	2011	DBLP DOI BibTeX RDF
1	Ocenásek Pavel	An Approach for Security Protocol Design Based on Zero-Knowledge Primitives Composition.	HCI	2011	DBLP DOI BibTeX RDF
1	Ismail Mansour, Gérard Chalhoub, Michel Misson	Energy-efficient Security Protocol for Wireless Sensor Networks using Frequency Hopping and Permutation Ciphering.	PECCS	2011	DBLP BibTeX RDF
1	Nicolas Nobelis, Karima Boudaoud, Christian Delettre, Michel Riveill	A Component-Based Approach to Security Protocol Design.	AINA Workshops	2011	DBLP DOI BibTeX RDF
1	Jack Yu, Gul N. Khan, Fei Yuan	XTEA encryption based novel RFID security protocol.	CCECE	2011	DBLP DOI BibTeX RDF
1	Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza	The Java SPI Framework for Security Protocol Implementation.	ARES	2011	DBLP DOI BibTeX RDF
1	Weihong Chen, Weichu Xiao	Model checking and analyzing the security protocol for wireless sensor networks.	EMEIT	2011	DBLP DOI BibTeX RDF
1	Maria-Camilla Fiazza, Michele Peroli, Luca Viganò	Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis.	SECRYPT	2011	DBLP BibTeX RDF
1	Li Yu, Lane Harrison, Aidong Lu, Zhiwei Li, Weichao Wang	3D Digital Legos for Teaching Security Protocols.	TLT	2011	DBLP DOI BibTeX RDF	digital Lego, construction set, visualization for education, Security protocol
1	Giampaolo Bella	The principle of guarantee availability for security protocol analysis.	Int. J. Inf. Sec.	2010	DBLP BibTeX RDF
1	Bruno P. S. Rocha, Daniel N. O. Costa, Rande A. Moreira, Cristiano G. Rezende, Antonio Alfredo Ferreira Loureiro, Azzedine Boukerche	Adaptive security protocol selection for mobile computing.	J. Network and Computer Applications	2010	DBLP DOI BibTeX RDF
1	Francien Dechesne, Yanjing Wang	To know or not to know: epistemic approaches to security protocol verification.	Synthese	2010	DBLP DOI BibTeX RDF
1	Catalin Gosman, Ciprian Dobre, Valentin Cristea	A Security Protocol for Vehicular Distributed Systems.	SYNASC	2010	DBLP DOI BibTeX RDF
1	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon	Modular verification of security protocol code by typing.	POPL	2010	DBLP DOI BibTeX RDF	f7, refinement type
1	N. T. Abdelmajid, M. Alamgir Hossain, S. Shepherd, K. Mahmoud	Improved Kerberos Security Protocol Evaluation using Modified BAN Logic.	CIT	2010	DBLP DOI BibTeX RDF	Kerberos Protocol, Global Position System, BAN Logic
1	Wassim Itani, Cesar Ghali, Ahmad M. El-Hajj, Ayman I. Kayssi, Ali Chehab	SinPack: A Security Protocol for Preventing Pollution Attacks in Network-Coded Content Distribution Networks.	GLOBECOM	2010	DBLP DOI BibTeX RDF
1	Reema Patel, Bhavesh Borisaniya, Avi Patel, Dhiren R. Patel, Muttukrishnan Rajarajan, Andrea Zisman	Comparative Analysis of Formal Model Checking Tools for Security Protocol Verification.	CNSA	2010	DBLP DOI BibTeX RDF
1	Chunhui Piao, Zhenjiang Fan, Chunyan Yang, Xufang Han	Research on RFID security protocol based on grouped tags and re-encryption scheme.	WCNIS	2010	DBLP DOI BibTeX RDF
1	David A. Basin, Cas J. F. Cremers	Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries.	CSL	2010	DBLP DOI BibTeX RDF
1	Joo-Kwan Lee, Moon-Seog Jun	Security Protocol Design for Electronic-Cash Transactions in a Mobile-PKI Environment.	ACIS-ICIS	2010	DBLP DOI BibTeX RDF