Search results for "session keys"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Dhilak Damodaran, Rohit Singh 0004, Phu Dung Le	Group Key Management in Wireless Networks Using Session Keys.	ITNG	2006	DBLP DOI BibTeX RDF	Forward and Backward Secrecy, Multicast, Wireless, Portable, Group Key, Session Keys
2	Elvis Papalilo, Bernd Freisleben	Combining Incomparable Public Session Keys and Certificateless Public Key Cryptography for Securing the Communication Between Grid Participants.	OTM Conferences	2007	DBLP DOI BibTeX RDF
2	Yi Tang	Sharing Session Keys in Encrypted Databases.	ICEBE	2006	DBLP DOI BibTeX RDF
2	Kyungsan Cho, Soo-Young Lee, JongEun Kim	Two-Step Hierarchical Protocols for Establishing Session Keys in Wireless Sensor Networks.	ICESS	2005	DBLP DOI BibTeX RDF
2	Matt Blaze, Joan Feigenbaum, Moni Naor	A Formal Treatment of Remotely Keyed Encryption.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	Remotely Keyed Encryption, Smart-cards, Block Ciphers, Pseudorandomness, Session Keys
2	Lawrence C. Paulson	Mechanized proofs for a recursive authentication protocol.	CSFW	1997	DBLP DOI BibTeX RDF	mechanized proofs, recursive authentication protocol, inductive approach, message nesting, basic security theorem, adjacent pairs, honest agents, protocol complexity, agents, protocols, specification, symmetry, mutual authentication, Isabelle/HOL, session keys
1	G. P. Biswas	Establishment of Authenticated Secret Session Keys Using Digital Signature Standard.	Information Security Journal: A Global Perspective	2011	DBLP DOI BibTeX RDF
1	Dan Forsberg	LTE key management analysis with session keys context.	Computer Communications	2010	DBLP DOI BibTeX RDF
1	Kazukuni Kobara, SeongHan Shin, Mario Strefler	Partnership in key exchange protocols.	ASIACCS	2009	DBLP DOI BibTeX RDF	session identifier, key exchange, partnership
1	Zhiqian Xu, Hai Jiang	HASS: Highly Available, Scalable and Secure Distributed Data Storage Systems.	CSE	2009	DBLP DOI BibTeX RDF
1	Mengbo Hou, Qiuliang Xu	A Secure ID-Based Explicit Authenticated Key Agreement Protocol without Key Escrow.	IAS	2009	DBLP DOI BibTeX RDF
1	Song Han, Biming Tian, Mingxing He, Elizabeth Chang	Efficient threshold self-healing key distribution with sponsorization for infrastructureless wireless networks.	IEEE Transactions on Wireless Communications	2009	DBLP DOI BibTeX RDF
1	Zhihong Liu, Jianfeng Ma, Qiping Huang, Sang-Jae Moon	Asymmetric Key Pre-distribution Scheme for sensor networks.	IEEE Transactions on Wireless Communications	2009	DBLP DOI BibTeX RDF
1	SeongHan Shin, Kazukuni Kobara, Hideki Imai	Very-Efficient Anonymous Password-Authenticated Key Exchange and Its Extensions.	AAECC	2009	DBLP DOI BibTeX RDF
1	Wei Du, Mingxing He, Xiao Li	A New Constant Storage Self-healing Key Distribution with Revocation in Wireless Sensor Networks.	ICA3PP	2009	DBLP DOI BibTeX RDF	Self-healing Key Distribution, Constant Storage, Backward Security, Forward Security, WSNs
1	Khoongming Khoo, Ford-Long Wong, Chu-Wee Lim	On a Construction of Short Digests for Authenticating Ad Hoc Networks.	ICCSA	2009	DBLP DOI BibTeX RDF	ad hoc networks, authentication, hash, digest
1	Wen-Min Li, Qiao-Yan Wen	Efficient Verifier-Based Password-Authentication Key Exchange Protocol via Elliptic Curves.	CSSE	2008	DBLP DOI BibTeX RDF
1	Biming Tian, Song Han, Tharam S. Dillon	A Self-Healing and Mutual-Healing Key Distribution Scheme Using Bilinear Pairings for Wireless Networks.	EUC	2008	DBLP DOI BibTeX RDF
1	Wenbo Shi, Injoo Jang, Hyeong Seon Yoo	A Provable Secure Authentication Protocol Given Forward Secure Session Key.	APWeb	2008	DBLP DOI BibTeX RDF	forward secure session key, authentication, key distribution
1	Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone	Partial Evaluation of PEPA Models for Fluid-Flow Analysis.	EPEW	2008	DBLP DOI BibTeX RDF
1	Meng-Hui Lim, Sanggon Lee, Hoonjae Lee	Cryptanalytic Flaws in Oh et al.'s ID-Based Authenticated Key Agreement Protocol.	ICCSA	2008	DBLP DOI BibTeX RDF
1	Hung-Yu Chien, Tzong-Chen Wu	Highly Efficient Password-Based Three-Party Key Exchange in Random Oracle Model.	ISI Workshops	2008	DBLP DOI BibTeX RDF	authentication, key agreement, random oracle, impersonation attack, guessing attack
1	Syed Muhammad Ali Shah, Naseer Gul, Hafiz Farooq Ahmad, Rami Bahsoon	Secure Storage and Communication in J2ME Based Lightweight Multi-Agent Systems.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	Lightweight multi-agents system, J2ME storage, agent security, SAGE-Lite, agent communication
1	Wei Du, Mingxing He	Self-healing Key Distribution with Revocation and Resistance to the Collusion Attack in Wireless Sensor Networks.	ProvSec	2008	DBLP DOI BibTeX RDF	security, Key distribution, self-healing, WSNs, collusion attack
1	Qingyu Xu, Mingxing He	Improved Constant Storage Self-healing Key Distribution with Revocation in Wireless Sensor Network.	WISA	2008	DBLP DOI BibTeX RDF	key distribution self-healing, storage complexity, wireless sensor network, computational secure, unconditional secure, key revocation
1	Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke	Selecting theories and nonce generation for recursive protocols.	FMSE	2007	DBLP DOI BibTeX RDF	security protocols, decidability, automatic analysis
1	Ming-Yang Su, Jia-Feng Chang	An Efficient and Secured Internet Key Exchange Protocol Design.	CNSR	2007	DBLP DOI BibTeX RDF
1	Sibylle B. Fröschle	The Insecurity Problem: Tackling Unbounded Data.	CSF	2007	DBLP DOI BibTeX RDF
1	Li Chen, Haojun Zhang, Nan Liu	Authentication and Micropayment Protocols based on Self-Updating Hash Chains.	GCC	2007	DBLP DOI BibTeX RDF
1	Ratna Dutta, Yongdong Wu, Sourav Mukhopadhyay	Constant Storage Self-Healing Key Distribution with Revocation in Wireless Sensor Network.	ICC	2007	DBLP DOI BibTeX RDF
1	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz	Analysis of Web Services Secure Conversation with Formal Methods.	ICIW	2007	DBLP DOI BibTeX RDF
1	Ratna Dutta, Ee-Chien Chang, Sourav Mukhopadhyay	Efficient Self-healing Key Distribution with Revocation for Wireless Sensor Networks Using One Way Key Chains.	ACNS	2007	DBLP DOI BibTeX RDF	session key distribution, sensor network, computational security, self-healing, revocation
1	Junghyun Nam, Juryon Paik, Ung-Mo Kim, Dongho Won	Constant-Round Authenticated Group Key Exchange with Logarithmic Computation Complexity.	ACNS	2007	DBLP DOI BibTeX RDF	nonce-chained authentication, scalability, Cryptography, provable security, binary tree, group key exchange
1	Ratna Dutta, Sourav Mukhopadhyay	Designing Scalable Self-healing Key Distribution Schemes with Revocation Capability.	ISPA	2007	DBLP DOI BibTeX RDF	session key distribution, self-healing, revocation, rekeying
1	Sherman S. M. Chow, Kim-Kwang Raymond Choo	Strongly-Secure Identity-Based Key Agreement and Anonymous Extension.	ISC	2007	DBLP DOI BibTeX RDF	reveal query, anonymity, provable security, Key agreement, identity-based cryptography
1	SeongHan Shin, Kazukuni Kobara, Hideki Imai	A Secure Threshold Anonymous Password-Authenticated Key Exchange Protocol.	IWSEC	2007	DBLP DOI BibTeX RDF
1	Firdous Kausar, Sajid Hussain, Jong Hyuk Park, Ashraf Masood	Secure Group Communication with Self-healing and Rekeying in Wireless Sensor Networks.	MSN	2007	DBLP DOI BibTeX RDF	one-way hash chains, security, sensor networks, key distribution, secure group communication
1	Junzhou Luo, Ming Yang	Analysis of security protocols based on challenge-response.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	Strand Space Model, network security, protocol analysis, challenge-response
1	Chun-Hsiang Huang, Yu-Feng Kuo, Ja-Ling Wu	Digital invisible ink: revealing true secrets via attacking.	ASIACCS	2006	DBLP DOI BibTeX RDF	DII watermarking, digital invisible ink, hiding watermark in watermark, steganography
1	Kaouthar Sethom, Hossam Afifi, Guy Pujolle	A distributed and secured architecture to enhance smooth handoffs in wide area wireless IP infrastructures.	Mobile Computing and Communications Review	2006	DBLP DOI BibTeX RDF	mobile networks, wireless technologies, fast handoff
1	Roshan Mathew Duraisamy, Zoran A. Salcic, Miguel Morales-Sandoval, Claudia Feregrino Uribe	A Fast Elliptic Curve Based Key Agreement Protocol-on-Chip (PoC) for Securing Networked Embedded Systems.	RTCSA	2006	DBLP DOI BibTeX RDF
1	Carlo Blundo, Paolo D'Arco, Alfredo De Santis	On Self-Healing Key Distribution Schemes.	IEEE Transactions on Information Theory	2006	DBLP DOI BibTeX RDF
1	Colin Boyd, Kim-Kwang Raymond Choo, Anish Mathuria	An Extension to Bellare and Rogaway (1993) Model: Resetting Compromised Long-Term Keys.	ACISP	2006	DBLP DOI BibTeX RDF
1	Tarjei K. Mandt, Chik How Tan	Certificateless Authenticated Two-Party Key Agreement Protocols.	ASIAN	2006	DBLP DOI BibTeX RDF	bilinear map, authenticated key agreement, Certificateless public key cryptography
1	Yevgeniy Dodis, Jonathan Katz, Leonid Reyzin, Adam Smith	Robust Fuzzy Extractors and Authenticated Key Agreement from Close Secrets.	CRYPTO	2006	DBLP DOI BibTeX RDF
1	Fouzia Omary, Abdelaaziz Mouloudi, Abderrahim Tragha, Abdelghani Bellaachia	A New Ciphering Method Associated with Evolutionary Algorithm.	ICCSA	2006	DBLP DOI BibTeX RDF
1	André Zúquete, Hugo Marques	A Security Architecture for Protecting LAN Interactions.	ISC	2006	DBLP DOI BibTeX RDF
1	Deok-Gyu Lee, Seo-Il Kang, Im-Yeong Lee	An Intelligent and Efficient Traitor Tracing for Ubiquitous Environments.	KES	2006	DBLP DOI BibTeX RDF
1	Jaesung Park, Beomjoon Kim, Iksoon Hwang	Secure and Seamless Handoff Scheme for a Wireless LAN System.	OTM Workshops	2006	DBLP DOI BibTeX RDF
1	Wen-Shenq Juang	Efficient User Authentication and Key Agreement in Wireless Sensor Networks.	WISA	2006	DBLP DOI BibTeX RDF	shared key distribution, session key agreement, sensor networks, authentication, network security, key distribution
1	Rob Delicata, Steve A. Schneider	Temporal Rank Functions for Forward Secrecy.	CSFW	2005	DBLP DOI BibTeX RDF
1	Hiroki Hada, Keisuke Tanaka	Security for Authenticated Key Exchange Based on Non-Malleability.	ICITA	2005	DBLP DOI BibTeX RDF
1	Hiroki Onishi, Takashi Satoh, Tetsutaro Uehara, Katsunori Yamaoka	IP Multicast Video Broadcasting System with User Authentication.	ICME	2005	DBLP DOI BibTeX RDF
1	Jen-Chiun Lin, Feipei Lai, Hung-Chang Lee	Efficient Group Key Management Protocol with One-Way Key Derivation.	LCN	2005	DBLP DOI BibTeX RDF
1	Byung kwan Lee, Tai-Chi Lee, Seung Hae Yang	A MEP (Mobile Electronic Payment) and IntCA Protocol Design.	HPCC	2005	DBLP DOI BibTeX RDF
1	Zhitang Li, Wei Guo, Fuquan Xu	Dependable Propagating Routing Information in MANET.	ICCNMC	2005	DBLP DOI BibTeX RDF	Passive Attack, Mobile Ad Hoc Networks, Active Attack, Secure Routing Protocol, Routing Discovery
1	Ruidong Li, Jie Li, Hisao Kameda	Distributed Hierarchical Access Control for Secure Group Communications.	ICCNMC	2005	DBLP DOI BibTeX RDF
1	Kwang Cheol Jeong, Hyunseung Choo, Sang Yong Ha	ID-Based Secure Session Key Exchange Scheme to Reduce Registration Delay with AAA in Mobile IP Networks.	International Conference on Computational Science	2005	DBLP DOI BibTeX RDF
1	Pan Wang, Peng Ning, Douglas S. Reeves	Network Access Control for Mobile Ad-Hoc Networks.	ICICS	2005	DBLP DOI BibTeX RDF
1	Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock	On Session Key Construction in Provably-Secure Key Establishment Protocols.	Mycrypt	2005	DBLP DOI BibTeX RDF
1	Robert W. Zhu, Guomin Yang, Duncan S. Wong	An Efficient Identity-Based Key Exchange Protocol with KGS Forward Secrecy for Low-Power Devices.	WINE	2005	DBLP DOI BibTeX RDF
1	Yumi Choi, Hyunseung Choo, Byong-Lyol Lee	Secure Handoff Based on Dual Session Keys in Mobile IP with AAA.	ICCSA	2004	DBLP DOI BibTeX RDF
1	Bi-Hui Chen	Improvement of authenaticated multiple-key agreement protocol.	Operating Systems Review	2004	DBLP DOI BibTeX RDF	multiple-key, authenticated, key agreement
1	Byung kwan Lee, Tai-Chi Lee, Seung Hae Yang	An ASEP (Advanced Secure Electronic Payment) Protocol Design Using 3BC and ECC (F^2) Algorithm.	EEE	2004	DBLP DOI BibTeX RDF
1	Carlo Blundo, Paolo D'Arco, Alfredo De Santis	Definitions and Bounds for Self-Healing Key Distribution Schemes.	ICALP	2004	DBLP DOI BibTeX RDF
1	Hyun Gon Kim, Doo Ho Choi	Session Key Exchange Based on Dynamic Security Association for Mobile IP Fast Hando.	ICCSA	2004	DBLP DOI BibTeX RDF
1	Haeng-Kon Kim, Tai-Hoon Kim	Design on Mobile Secure Electronic Transaction Protocol with Component Based Development.	ICCSA	2004	DBLP DOI BibTeX RDF	MSET, F2m, Digital envelope, 3BC algorithm, object component
1	Jun Rekimoto, Takashi Miyaki, Michimune Kohno	ProxNet: Secure Dynamic Wireless Connection by Proximity Sensing.	Pervasive	2004	DBLP DOI BibTeX RDF
1	Supakorn Kungpisdan, Phu Dung Le, Bala Srinivasan	A Limited-Used Key Generation Scheme for Internet Transactions.	WISA	2004	DBLP DOI BibTeX RDF	credit-card payment, key generation, electronic payment systems
1	Carlo Blundo, Paolo D'Arco, Alfredo De Santis, Massimiliano Listo	Design of Self-Healing Key Distribution Schemes.	Des. Codes Cryptography	2004	DBLP DOI BibTeX RDF	group communication, key distribution, self-healing
1	Donggang Liu, Peng Ning, Kun Sun	Efficient self-healing group key distribution with revocation capability.	ACM Conference on Computer and Communications Security	2003	DBLP DOI BibTeX RDF	group key distribution, key management, self-healing
1	Daniel B. Faria, David R. Cheriton	MobiCom poster: public-key-based secure Internet access.	Mobile Computing and Communications Review	2003	DBLP DOI BibTeX RDF
1	Shinyoung Lim, Sangseung Kang, Joo-Chan Sohn	Modeling of Multiple Agent based Cryptographic Key Recovery Protocol.	ACSAC	2003	DBLP DOI BibTeX RDF
1	Liqun Chen, Caroline Kudla	Identity Based Authenticated Key Agreement Protocols from Pairings.	CSFW	2003	DBLP DOI BibTeX RDF
1	Alan T. Sherman, David A. McGrew	Key Establishment in Large Dynamic Groups Using One-Way Function Trees.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Dynamic Cryptographic Context Management (DCCM) Project, logical key hierarchy (LKH), one-functions, one-way function chain (OFC), one-way function tree (OFT), secure conferences, secure group applications, cryptography, key management, cryptographic protocols, key agreement, Broadcast encryption, key establishment, group keying, conference keying
1	SeongHan Shin, Kazukuni Kobara, Hideki Imai	Leakage-Resilient Authenticated Key Establishment Protocols.	ASIACRYPT	2003	DBLP DOI BibTeX RDF
1	Hyun Gon Kim, Doo Ho Choi, Dae Young Kim	Secure Session Key Exchange for Mobile IP Low Latency Handoffs.	ICCSA	2003	DBLP DOI BibTeX RDF
1	Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph	Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. (PDF / PS)	DEXA Workshops	2002	DBLP DOI BibTeX RDF
1	David Sames, Brian Matt, Brian Niebuhr, Gregg Tally, Brent Whitmore, David E. Bakken	Developing a Heterogeneous Intrusion Tolerant CORBA System.	DSN	2002	DBLP DOI BibTeX RDF
1	Oskar Scheikl, Jonathan Lane, Robert Boyer, Mohamed Eltoweissy	Multi-level Secure Multicast: The Rethinking of Secure Locks.	ICPP Workshops	2002	DBLP DOI BibTeX RDF
1	Jessica Staddon, Sara K. Miner, Matthew K. Franklin, Dirk Balfanz, Michael Malkin, Drew Dean	Self-Healing Key Distribution with Revocation. (PDF / PS)	IEEE Symposium on Security and Privacy	2002	DBLP DOI BibTeX RDF	network packet loss, multicast, key distribution, self-healing, revocation, broadcast encryption
1	Hyun-Jeong Kim, Dong Hoon Lee, Moti Yung	Privacy against Piracy: Protecting Two-Level Revocable P-K Traitor Tracing.	ACISP	2002	DBLP DOI BibTeX RDF
1	Hartono Kurnio, Reihaneh Safavi-Naini, Huaxiong Wang	A Secure Re-keying Scheme with Key Recovery Property.	ACISP	2002	DBLP DOI BibTeX RDF
1	Giampaolo Bella	Lack of Explicitness Strikes Back (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
1	Lawrence C. Paulson	Inductive Analysis of the Internet Protocol TLS.	ACM Trans. Inf. Syst. Secur.	1999	DBLP DOI BibTeX RDF	inductive method, proof tools, authentication, TLS, Isabelle
1	Alfred P. Maneki	Honest Functions and their Application to the Analysis of Cryptographic Protocols. (PDF / PS)	CSFW	1999	DBLP DOI BibTeX RDF
1	Kapali Viswanathan, Colin Boyd, Ed Dawson	Strong Binding for Software Key Escrow. (PDF / PS)	ICPP Workshops	1999	DBLP DOI BibTeX RDF	Software key escrow, proxy cryptography, traceability, compliance, enforceability
1	Giampaolo Bella, Lawrence C. Paulson	Mechanising BAN Kerberos by the Inductive Method.	CAV	1998	DBLP DOI BibTeX RDF
1	Giampaolo Bella, Lawrence C. Paulson	Kerberos Version 4: Inductive Analysis of the Secrecy Goals.	ESORICS	1998	DBLP DOI BibTeX RDF	secure key, non-expired timestamp, inductive method, machine proof, secrecy
1	Lawrence C. Paulson	Inductive Analysis of the Internet Protocol TLS (Position Paper).	Security Protocols Workshop	1998	DBLP DOI BibTeX RDF
1	Bryn Dole, Steven W. Lodin, Eugene H. Spafford	Misplaced Trust: Kerberos 4 Session Keys.	NDSS	1997	DBLP BibTeX RDF
1	Tuomas Aura	Strategies against Replay Attacks.	CSFW	1997	DBLP DOI BibTeX RDF
1	Yahya Y. Al-Salqan	Cryptographic Key Recovery.	FTDCS	1997	DBLP DOI BibTeX RDF
1	Marc Mehdi Ayadi, Dominique Bolignano	Verification of Cryptographic Protocols: An Experiment.	FME	1997	DBLP DOI BibTeX RDF	security, formal methods, cryptographic protocols, Coq
1	E. Thomas Schubert, Sarah Mocas	A Mechanized Logic for Secure Key Escrow Protocol Verification.	TPHOLs	1995	DBLP DOI BibTeX RDF
1	Mike Just, Evangelos Kranakis, Danny Krizanc, Paul C. van Oorschot	On Key Distribution via True Broadcasting.	ACM Conference on Computer and Communications Security	1994	DBLP DOI BibTeX RDF	secret sharing, key distribution, broadcast encryption
1	Mike Burmester	On the Risk of Opening Distributed Keys.	CRYPTO	1994	DBLP DOI BibTeX RDF