Search results for "protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Mete Akgün, M. Ufuk Çaglayan, Emin Anarim	A new RFID authentication protocol with resistance to server impersonation.	IPDPS	2009	DBLP DOI BibTeX RDF
20	Paolo Milani Comparetti, Gilbert Wondracek, Christopher Krügel, Engin Kirda	Prospex: Protocol Specification Extraction.	SP	2009	DBLP DOI BibTeX RDF
20	Ming Ma 0005, Yuanyuan Yang 0001	A novel contention-based MAC protocol with channel reservation for wireless LANs.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
20	Cheng Chi, Zhiyong Feng 0001, Yuan Xue, Huying Cai, Ping Zhang 0003	Component-Based Protocol Stack Management for Reconfigurable Systems.	VTC Spring	2008	DBLP DOI BibTeX RDF
20	Wei Li 0074, Shan Wang 0005, Jibo Wei	An Evolutionary Topology Unaware TDMA MAC Protocol for Ad Hoc Networks.	ICC	2008	DBLP DOI BibTeX RDF
20	Jihwan Lim, Heekuck Oh, Sangjin Kim	A New Hash-Based RFID Mutual Authentication Protocol Providing Enhanced User Privacy Protection.	ISPEC	2008	DBLP DOI BibTeX RDF	Authentication, RFID, User Privacy
20	Xibo Wang, Fenmei Wang, Ge Yu 0001	Research on Resource Access Control Protocol Based on Layered Scheduling Algorithm.	RAM	2008	DBLP DOI BibTeX RDF
20	Hyun-Wook Jin, Chuck Yoo	Impact of protocol overheads on network throughput over high-speed interconnects: measurement, analysis, and improvement.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Programmable Network interface cards, Clusters, Myrinet, High-speed interconnects, UDP/IP
20	Nuno Pereira 0001, Björn Andersson, Eduardo Tovar	WiDom: A Dominance Protocol for Wireless Medium Access.	IEEE Trans. Ind. Informatics	2007	DBLP DOI BibTeX RDF
20	Pierre E. Abi-Char, Abdallah Mhamed, Bachar El-Hassan	A Secure Authenticated Key Agreement Protocol Based on Elliptic Curve Cryptography.	IAS	2007	DBLP DOI BibTeX RDF
20	Ke Yu, Binbin Wang, Qianyu Ye	A generic transport layer signaling protocol extension in mobile IPv6 networks.	Mobility Conference	2007	DBLP DOI BibTeX RDF	route change, transport, signaling, mobile IPv6
20	Kwang-Jin Paek, Jongwan Kim, Chong-Sun Hwang, Ui-Sung Song	An Energy-Efficient Key Management Protocol For Large-Scale Wireless Sensor Networks.	MUE	2007	DBLP DOI BibTeX RDF
20	Ingmar Fliege, Reinhard Gotzhein	Automated Generation of Micro Protocol Descriptions from SDL Design Specifications.	SDL Forum	2007	DBLP DOI BibTeX RDF
20	Luiz Carlos Pessoa Albini, Antonio Caruso 0001, Stefano Chessa, Piero Maestrini	Reliable Routing in Wireless Ad Hoc Networks: The Virtual Routing Protocol.	J. Netw. Syst. Manag.	2006	DBLP DOI BibTeX RDF	Hybrid routing protocols for ad hoc networks, Reliability in ad hoc networks, Routing, Ad hoc networks
20	Kaliappa Nadar Ravindran, Jun Wu	Architecture for Dynamic Protocol-level Adaptation to Enhance Network Service Performance.	NOMS	2006	DBLP DOI BibTeX RDF
20	Venkat Pothamsetty, Prabhaker Mateti	A case for exploit-robust and attack-aware protocol RFCs.	IPDPS	2006	DBLP DOI BibTeX RDF
20	Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell	Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL.	ICNP	2006	DBLP DOI BibTeX RDF
20	Da Wei, Yanheng Liu, Xuegang Yu, Xiaodong Li	Research of Mobile IPv6 Application Based On Diameter Protocol.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
20	Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra	Apriori Formal Coverage Analysis for Protocol Properties.	VLSI Design	2006	DBLP DOI BibTeX RDF
20	Xiaojiang Du, Fengiing Lin	Efficient energy management protocol for target tracking sensor networks.	Integrated Network Management	2005	DBLP DOI BibTeX RDF
20	Cagil Can Oniz, Erkay Savas, Albert Levi	A Fair Multimedia Exchange Protocol.	ISCIS	2005	DBLP DOI BibTeX RDF
20	Lin Cai 0001, Xuemin Shen, Jon W. Mark, Jianping Pan 0001	A QoS-aware AIMD protocol for time-sensitive applications in wired/wireless networks.	INFOCOM	2005	DBLP DOI BibTeX RDF
20	Zhiyi Huang 0001, Martin K. Purvis, Paul Werstein	View-oriented update protocol with integrated diff for view-based consistency.	CCGRID	2005	DBLP DOI BibTeX RDF
20	Bi-Hui Chen	Improvement of authenaticated multiple-key agreement protocol.	ACM SIGOPS Oper. Syst. Rev.	2004	DBLP DOI BibTeX RDF	multiple-key, authenticated, key agreement
20	Narn-Yih Lee, Chien-Nan Wu	Improved authentication key exchange protocol without using one-way hash function.	ACM SIGOPS Oper. Syst. Rev.	2004	DBLP DOI BibTeX RDF	modification attack, security, authentication, cryptography, key exchange
20	Howard J. Karloff	On the convergence time of a path-vector protocol.	SODA	2004	DBLP BibTeX RDF
20	Stephan Schulz 0002	Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols.	TestCom	2004	DBLP DOI BibTeX RDF
20	Ali Boudani, Alexandre Guitton, Bernard Cousin	GXcast: generalized explicit multicast routing protocol.	ISCC	2004	DBLP DOI BibTeX RDF
20	Jerry Chi-Yuan Chou, Tai-Yi Huang, Kuang-Li Huang	SCALLOP: a scalable and load-balanced peer-to-peer lookup protocol for high-performance distributed systems.	CCGRID	2004	DBLP DOI BibTeX RDF
20	Lin Liu 0003, Jonathan Billington	Obtaining the Service Language for H.245's Multimedia Capability Exchange Signalling Protocol: the Final Step.	MMM	2004	DBLP DOI BibTeX RDF	Multimedia Protocols, Recursive Service Language, Formal Methods, Automata, Coloured Petri Nets
20	Kenji Terada, Makoto Yokoo	False-name-proof multi-unit auction protocol utilizing greedy allocation based on approximate evaluation values.	AAMAS	2003	DBLP DOI BibTeX RDF	false-name-proof, multi-unit auction, mechanism design
20	Yuko Sakurai, Makoto Yokoo	A false-name-proof double auction protocol for arbitrary evaluation values.	AAMAS	2003	DBLP DOI BibTeX RDF	electronic commerce, mechanism design, double auction
20	Kenji Terada, Makoto Yokoo	False-Name-Proof Multi-unit Auction Protocol Utilizing Greedy Allocation Based on Approximate Evaluation Values.	PRIMA	2002	DBLP DOI BibTeX RDF
20	Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic	A Compositional Logic for Protocol Correctness.	CSFW	2001	DBLP DOI BibTeX RDF
20	Hung-Chang Hsiao, Chung-Ta King	The Thread-Based Protocol Engines for CC-NUMA Multiprocessors.	ICPP	2000	DBLP DOI BibTeX RDF
20	Michalis Faloutsos, Anindo Banerjea, Rajesh Pankaj	QoSMIC: Quality of Service Sensitive Multicast Internet Protocol.	SIGCOMM	1998	DBLP DOI BibTeX RDF
20	Lixin Wang, Mounir Hamdi	HAMAC: An Adaptive Channel Access Protocol for Multimedia Wireless Networks.	ICCCN	1998	DBLP DOI BibTeX RDF	multimedia wireless networks, performance evaluation, Multiple access protocols
20	Yuliang Zheng 0001	How to Break and Repair Leighton and Micali's Key Agreement Protocol.	EUROCRYPT	1994	DBLP DOI BibTeX RDF
20	Simon S. Lam	Protocol conversion - correctness problems.	SIGCOMM	1986	DBLP DOI BibTeX RDF
20	Matthew Small, Xin Yuan 0001	Maximizing MPI point-to-point communication performance on RDMA-enabled clusters with customized protocols.	ICS	2009	DBLP DOI BibTeX RDF	rendezvous protocol, mpi, rdma
20	Volkan Rodoplu, Amir Aminzadeh Gohari	Challenges: automated design of networking protocols.	MobiCom	2008	DBLP DOI BibTeX RDF	automation, network protocol, mac
20	Michelle X. Gong, Scott F. Midkiff, Shiwen Mao	A Cross-layer Approach to Channel Assignment in Wireless Ad Hoc Networks.	Mob. Networks Appl.	2007	DBLP DOI BibTeX RDF	distributed channel assignment, multi-channel medium access control, wireless ad hoc networks, cross-layer design, ad hoc routing protocol
20	Hoonjung Lee, Donghyun Kim 0001, Sangjin Kim, Heekuck Oh	Identity-Based Key Agreement Protocols in a Multiple PKG Environment.	ICCSA (4)	2005	DBLP DOI BibTeX RDF	multiple PKG, bilinear map, key agreement protocol, ID-based cryptosystem
20	Young Sik Hong, J. H. No	Clock Synchronization in Wireless Distributed Embedded Applications.	WSTFES	2003	DBLP DOI BibTeX RDF	time transmission protocol, master/slave structure, wireless communication, clock synchronization, distributed embedded system
20	Achour Mostéfaoui, Michel Raynal, Frederic Tronel	The Best of Both Worlds: A Hybrid Approach to Solve Consensus.	DSN	2000	DBLP DOI BibTeX RDF	Fault-Tolerance, Message Passing, Asynchronous Distributed System, Crash Failure, Unreliable Failure Detector, Consensus Problem, Randomized Protocol
20	Fong Pong, Michel Dubois 0001	A New Approach for the Verification of Cache Coherence Protocols.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	symbolic expansion, formal verification, finite state machine, shared-memory multiprocessor, Cache coherence protocol
20	Xuejun Tian, Xiang Chen 0012, Tetsuo Ideguchi, Takashi Okuda	Improving protocol capacity by scheduling random access on WLANs.	Telecommun. Syst.	2008	DBLP DOI BibTeX RDF	Contention-based protocol, Reservation scheduling, Ad hoc networks, Wireless networks, WLAN, MAC protocol, DCF, PCF
20	Praveen Tiwari, Raj S. Mitra	Hybrid Verification of Protocol Bridges.	IEEE Des. Test Comput.	2007	DBLP DOI BibTeX RDF	serial protocol, hybrid verification, protocol bridge, model checking, formal verification
20	Kun Wang, Yinlong Xu, Guo-Liang Chen 0001, Ya-feng Wu	Power-Aware On-Demand Routing Protocol for MANET.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	Mobile Ad Hoc Network (MANET), routing protocol, energy-efficient protocol, system lifetime
20	Sijing Zhang, Alan Burns 0001, Tee-Hiang Cheng	Cycle-Time Properties of the Timed Token Medium Access Control Protocol.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Protocol timing properties, timed token medium access control (MAC) protocol, timed token networks, real-time communications, FDDI networks
20	Zygmunt J. Haas, Marc R. Pearlman	The performance of query control schemes for the zone routing protocol.	IEEE/ACM Trans. Netw.	2001	DBLP DOI BibTeX RDF	bordercast, hybrid routing, query control, routing zone, Ad hoc network, routing protocol, reactive routing, proactive routing, ZRP, zone routing protocol
20	Sandeep S. Kulkarni, Anish Arora	Once-and-for all management protocol (OFMP).	ICNP	1997	DBLP DOI BibTeX RDF	once-and-forall management protocol, network management protocol, management information bases, fault-tolerance masking, eventually-detectable faults, protocols
20	Raschid Karabek	A native ATM protocol architecture design and performance evaluation.	LCN	1997	DBLP DOI BibTeX RDF	native ATM protocol architecture design, native ATM protocol architecture performance evaluation, native mode ATM access, homogeneous ATM networks, information streams, common service access point, transport layer functionality, end-to-end error, datagram transfer, VC multiplexing, variable bit rate connections, constant bit rate connections, sporadic burst superimposition, data channels, maximised effective end-re-end throughput, unspecified bit rate service, asynchronous transfer mode, congestion control, ATM networks, multimedia applications, flow control, Quality of Service guarantees, virtual connections
20	Takayuki Tachikawa, Makoto Takizawa 0001	Communication protocol for group of distributed objects.	ICPADS	1996	DBLP DOI BibTeX RDF	ordered delivery, conflicting relation, protocol, distributed processing, transport protocols, communication protocol, distributed objects, multiple objects
20	Yong Sun, Hongji Yang	Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism
20	Michael Yang, Ahmed N. Tantawy	A design methodology for protocol processors.	FTDCS	1995	DBLP DOI BibTeX RDF	protocol processors, FCS, Fibre Channel Standard, homogeneous multi-processors, single VLSI chip, VHDL macro libraries, VLSI protocol processors, CVDS, Communication VLSI Design System, protocols, asynchronous transfer mode, ATM, multiprocessing systems, communication protocols
20	K. B. Lakshmanan, Krishnaiyan Thulasiraman, M. A. Comeau	An Efficient Distributed Protocol for Finding Shortest Paths in Networks with Negative Weights.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	efficient distributed protocol, negative weights, single-source shortest-path problem, asynchronous directed network, unbounded message complexity, synchronous version, Chandy-Misra algorithm, efficient synchronizer, computational complexity, protocols, distributed algorithms, distributed processing, directed graphs, time complexities, edges, cycle, nodes, worst case, asynchronous protocol
20	Süleyman Sevinc, Bernard P. Zeigler	Entity Structure Based Design Methodology: A LAN Protocol Example.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	entity structure based design methodology, LAN protocol, frame-like knowledgerepresentation scheme, data-link-layer protocol, protocols, local area networks, packet switching, simulation environment
20	Antonio Nucci, Supratik Bhattacharyya, Nina Taft, Christophe Diot	IGP link weight assignment for operational Tier-1 backbones.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	interior gateway protocol (IGP) routing, intermediate system to intermediate system (IS-IS) protocol, open shortest path first (OSPF) protocol, optimization, robustness, tabu search, traffic engineering, failures
20	Karthikeyan Vaidyanathan, Dhabaleswar K. Panda 0001	Benefits of I/O Acceleration Technology (I/OAT) in Clusters.	ISPASS	2007	DBLP DOI BibTeX RDF	concurrent thread, I/O acceleration technology, TCP/IP stack, multigigabit data rate, packet processing overhead, multitier data center, CPU utilization, central processing unit, network bandwidth performance, transmission control protocol, transport protocol, Internet protocol, parallel virtual file system
20	Bülent Tavli, Wendi B. Heinzelman	Energy and Spatial Reuse Efficient Network-Wide Real-Time Data Broadcasting in Mobile Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	mobile computing, wireless communication, Low-power design, routing protocols, network topology, network protocols, data communications, protocol verification, algorithm/protocol design and analysis, distributed protocols, network communications, mobile communication systems, energy-aware systems, protocol architecture, access schemes
20	Baruch Awerbuch, David Peleg	Online Tracking of Mobile Users.	J. ACM	1995	DBLP DOI BibTeX RDF	bounded packet header, bounded protocol, ideal transmission cost, non-FIFO channels, receiver-driven protocol, recoverable protocol, recovery cost, sequence transmission problem, lookahead
20	Bogdan S. Chlebus, Dariusz R. Kowalski, Mariusz A. Rokicki	Adversarial queuing on the multiple-access channel.	PODC	2006	DBLP DOI BibTeX RDF	adversarial queuing, continuous packet injection, stability, broadcast, multiple-access channel
20	Jason Maassen, Rob van Nieuwpoort, Ronald Veldema, Henri E. Bal, Thilo Kielmann, Ceriel J. H. Jacobs, Rutger F. H. Hofman	Efficient Java RMI for parallel programming.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	performance, Communication, remote method invocation
20	Maged M. Michael, Ashwini K. Nanda, Beng-Hong Lim, Michael L. Scott	Coherence Controller Architectures for SMP-Based CC-NUMA Multiprocessors.	ISCA	1997	DBLP DOI BibTeX RDF
19	SangKwon Moon, JaeSub Kim, Daeyeon Park	USD Protocol: Ubiquitous Service Discovery Protocol on Infrastructure-based architecture for Ubiquitous Fashionable Computer.	MUE	2007	DBLP DOI BibTeX RDF
19	Christopher K. Hess, Roy H. Campbell	Media Streaming Protocol: An Adaptive Protocol for the Delivery of Audio and Video over the Internet.	ICMCS, Vol. 2	1999	DBLP DOI BibTeX RDF
19	Turkmen Canli, Mohamed Hefeida, Ashfaq A. Khokhar	BulkMAC: a cross-layer based MAC protocol for wireless sensor networks.	IWCMC	2010	DBLP DOI BibTeX RDF	cross-layer medium access control protocol, multiflow, multipacket, unicast traffic, wireless sensor networks, multihop
19	Lu Bai, Chunhe Xia, Xiaojian Li, Haiquan Wang	A Bulk Email Oriented Multi-party Non-repudiation Exchange Protocol.	WISM	2009	DBLP DOI BibTeX RDF	SVO logic, bulk email, protocol, fairness, Encryption, non-repudiation
19	Moonseong Kim, Matt W. Mutka, Hyunseung Choo	A Hierarchical Data Dissemination Protocol Using Probability-Based Clustering for Wireless Sensor Networks.	HCI (9)	2009	DBLP DOI BibTeX RDF	Data Dissemination Protocol, Wireless Sensor Networks (WSNs), Energy Efficiency, Network Lifetime, SPIN, SPMS
19	N. Djenane, Abdelhafid Benaouda, Saad Harous	Simulation of a VPN implementation based on MPLS protocol, a case study: VPN-MPLS for MSN-AT.	MoMM	2009	DBLP DOI BibTeX RDF	security, network, protocol, MPLS, VPN
19	Yu-Fang Chung, Tzer-Shyong Chen, Yu-Ting Chen, Chiu-Chan Lee, Szu-Wen Wang	An Agent-Based English Auction Protocol Using Elliptic Curve Cryptosystem for Mobile Commerce.	ICA3PP	2009	DBLP DOI BibTeX RDF	English auction protocol, Mobile agent, anonymity, elliptic curve cryptosystem, public verifiability
19	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
19	Azzedine Boukerche, Haifa Maamar, Abu Hossain	An efficient hybrid multicast transport protocol for collaborative virtual environment with networked haptic.	Multim. Syst.	2008	DBLP DOI BibTeX RDF	Collaborative haptic audio visual environments, Reliable multicast transport protocol, Brain tumor tele-surgery application, Tracheotomy tele-surgery application, Collaborative virtual environments
19	Cláudia J. Barenco Abbas, Ricardo González, Nelson Cardenas, L. Javier García-Villalba	A proposal of a wireless sensor network routing protocol.	Telecommun. Syst.	2008	DBLP DOI BibTeX RDF	Wireless sensor network, Routing protocol, 802.15.4
19	Hieu Khac Le, Dan Henriksson, Tarek F. Abdelzaher	A Practical Multi-channel Media Access Control Protocol for Wireless Sensor Networks.	IPSN	2008	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Protocol, MAC, Media Access Control, Multi-Channel
19	Bo Meng	A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model.	ISIP	2008	DBLP DOI BibTeX RDF	internet voting protocol, formal analysis, coercion-resistance
19	Patrick Düssel, Christian Gehl, Pavel Laskov, Konrad Rieck	Incorporation of Application Layer Protocol Syntax into Anomaly Detection.	ICISS	2008	DBLP DOI BibTeX RDF	Anomaly Detection, Web Security, Protocol Analysis
19	Chengyong Liu, Layuan Li, Yang Xiang	Research of Multi-Path Routing Protocol Based on Parallel Ant Colony Algorithm Optimization in Mobile Ad Hoc Networks.	ITNG	2008	DBLP DOI BibTeX RDF	Parallel ACO, Pheromone refreshing, Routing protocol, Information exchange
19	David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane	Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol.	MM&Sec	2008	DBLP DOI BibTeX RDF	buyer-seller watermarking protocol, customer's rights, unbinding, formal model, csp, formal analysis
19	Mina Deng, Bart Preneel	On Secure and Anonymous Buyer-Seller Watermarking Protocol.	ICIW	2008	DBLP DOI BibTeX RDF	watermarking protocol, multimedia, e-commerce, security and privacy
19	Bazara I. A. Barry, H. Anthony Chan	A Hybrid, Stateful and Cross-Protocol Intrusion Detection System for Converged Applications.	OTM Conferences (2)	2007	DBLP DOI BibTeX RDF	Stateful Detection, Cross-protocol Detection, Hybrid Detection, Intrusion Detection, VoIP
19	Eun-Jun Yoon, Wan-Soo Lee, Kee-Young Yoo	Secure PAP-Based RADIUS Protocol in Wireless Networks.	ICIC (3)	2007	DBLP DOI BibTeX RDF	RADIUS protocol, Off-line password guessing attack, Wireless network, Cryptography, Replay attack
19	Hyung Yun Kong, Yun-Kyeong Hwang, Dae-Kyu Choi, Gun-seok Kim	Design of Bandwidth Efficient M-1-1 Protocol in Wireless Sensor Networks.	ICIC (3)	2007	DBLP DOI BibTeX RDF	M-1-1 protocol, WSN, Cooperative communication, Bandwidth efficient
19	Zhiwei Zhao, Xinming Zhang 0001, Peng Sun, Pengxi Liu	A Transmission Power Control MAC Protocol for Wireless Sensor Networks.	ICN	2007	DBLP DOI BibTeX RDF	wireless sensor networks, power control, cross-layer, MAC protocol
19	Hyun Seok Kim, Jin-Young Choi	The Design and Verification of RFID Authentication Protocol for Ubiquitous Computing.	DEXA Workshops	2007	DBLP DOI BibTeX RDF	Model Checking, RFID, Authentication Protocol
19	Yongping Zhang, Wei Wei, Tianjie Cao	Improvement of an Authenticated Key Agreement Protocol.	APWeb/WAIM Workshops	2007	DBLP DOI BibTeX RDF	Authentication, Elliptic Curves, Key Agreement Protocol
19	Yingpeng Sang, Hong Shen 0001	Privacy Preserving Set Intersection Protocol Secure against Malicious Behaviors.	PDCAT	2007	DBLP DOI BibTeX RDF	privacy preserva- tion, distributed datasets, cryptographic protocol, zero-knowledge proof, set intersection
19	Andrew Newton	Replacing the Whois Protocol: IRIS and the IETF's CRISP Working Group.	IEEE Internet Comput.	2006	DBLP DOI BibTeX RDF	Whois protocol, CRISP, IRIS, Internet infrastructure
19	S. Hasan Raza Naqvi, Lalit M. Patnaik	A Distributed Channel Access Protocol for Ad Hoc Networks with Feedback Power Control.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	media access protocol design and analysis, simulation, Wireless ad hoc networks, power control
19	Guillaume Jourjon, Emmanuel Lochin, Patrick Sénac	Towards a versatile transport protocol.	CoNEXT	2006	DBLP DOI BibTeX RDF	QoS-enabled networks, mobile devices, transport protocol, TFRC, SACK
19	Antonio Ruiz-Martínez, C. Inmaculada Marín-López, Laura Baño-López, Antonio Fernandez Gómez-Skarmeta	A new fair non-repudiation protocol for secure negotiation and contract signing.	PST	2006	DBLP DOI BibTeX RDF	abuse freeness, contract negotiation, contract signing protocol, security, e-commerce, confidentiality, fair-exchange
19	Jaechun No, Hyoungwoo Park	A Locking Protocol for a Distributed Computing Environment.	EGC	2005	DBLP DOI BibTeX RDF	distributed computing, distributed file system, MPI-IO, locking protocol
19	Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson	Using static analysis to validate the SAML single sign-on protocol.	WITS	2005	DBLP DOI BibTeX RDF	authentication, static analysis, process calculi, protocol validation
19	WoongChul Choi, JinWoo Han, Byung Joon Park, Jiman Hong	BCTMA(Bi-directional Cut-Through Medium Access) Protocol for 802.11-Based Multi-hop Wireless Networks.	ISSADS	2005	DBLP DOI BibTeX RDF	Forward cut-through scheme, Backward cut-through scheme, BCTMA (Bi-directional Cut-Through Medium Access) protocol, DCF (Distributed Coordination Function), IEEE 802.11, Wireless multi-hop networks
19	Chuanhe Huang, Jiangwei Li, Xiaohua Jia	A Secure Routing Protocol SDSR for Mobile Ad Hoc Networks.	MSN	2005	DBLP DOI BibTeX RDF	Node Monitoring, Mobile Ad Hoc Networks, Digital Signature, Secure Routing Protocol
19	Lee Pike, Steven D. Johnson	The formal verification of a reintegration protocol.	EMSOFT	2005	DBLP DOI BibTeX RDF	infinite-state bounded model-checking, reintegration protocol, real-time, formal verification, infinite-state systems
19	Zhenfeng Zhang, Jing Xu 0002, 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
19	Ana R. Cavalli, Cyril Grepet, Stéphane Maag, Vincent Tortajada	A Validation Model for the DSR Protocol.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	routing protocol, conformance testing, SDL, Ad hoc wireless networks, DSR
19	Bok-Nyong Park, Jae-Won Kim, Wonjun Lee 0001	PrecePt: A Privacy-Enhancing License Management Protocol for Digital Rights Management.	AINA (1)	2004	DBLP DOI BibTeX RDF	License Management Protocol, Privacy, Anonymity, Public-Key Cryptosystem, DRM