Search results for "protocol"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Yunhong Gu, Xinwei Hong, Robert L. Grossman	Experiences in Design and Implementation of a High Performance Transport Protocol.	SC	2004	DBLP DOI BibTeX RDF	UDT, Performance, Design, design, implementation, transport protocol, Experimentation, data intensive application
19	Dieter Hogrefe	Main issues in protocol testing.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	IPv6, SDL, MSC, Protocol testing, TTCN
19	Alberto Verdejo, Isabel Pita, Narciso Martí-Oliet	Specification and Verification of the Tree Identify Protocol of IEEE 1394 in Rewriting Logic.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Tree identify protocol, Rewriting logic, Maude, Object-oriented specifications, IEEE 1394
19	Burton S. Kaliski Jr.	An unknown key-share attack on the MQV key agreement protocol.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	MQV, unknown key-share attack, Key agreement, protocol design
19	Phong Q. Nguyen, Igor E. Shparlinski	On the Insecurity of a Server-Aided RSA Protocol.	ASIACRYPT	2001	DBLP DOI BibTeX RDF	Server-aided protocol, Cryptanalysis, Lattices, RSA signature
19	Yacine Bouzida, Rachid Beghdad	Improving the Timed Token Protocol.	ICN (1)	2001	DBLP DOI BibTeX RDF	non-real-time messages, scheduling messages, timed token, regular timed token, scheduling constraints, real-time protocol, local networks
19	Stelvio Cimato	Design of an Authentication Protocol for Gsm Javacards.	ICISC	2001	DBLP DOI BibTeX RDF	Javacard, E-commerce and M- commerce security, Authentication protocol
19	Wen-Tsuen Chen, Sheng-Hsien Chen, Jen-Chu Liu	An Efficient QoS Guaranteed MAC Protocol in Wireless ATM Networks.	ICOIN	2001	DBLP DOI BibTeX RDF	WATM, CRPMA/DS, DTDMA/PR, QoS, MAC protocol
19	Natalia Sidorova, Martin Steffen	Verification of a wireless ATM medium-access protocol.	APSEC	2000	DBLP DOI BibTeX RDF	medium-access protocol verification, modular structure, SDL specification, abstraction techniques, system debugging, untimed properties, time-dependent properties, model checking, formal specification, formal verification, wireless LAN, asynchronous transfer mode, access protocols, state space reduction, wireless ATM
19	Roberto Giorgi, Cosimo Antonio Prete	PSCR: A Coherence Protocol for Eliminating Passive Sharing in Shared-Bus Shared-Memory Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	performance evaluation, multiprocessor, Cache memory, coherence protocol
19	Hatem Bettahar, Abdelmadjid Bouabdallah	A Scalable Multicast Protocol for Delay-Constrained Shared Multicast Tree Construction.	ISCC	1999	DBLP DOI BibTeX RDF	delay-constrained shared trees, QoS, shared tree, multicast routing protocol
19	Gerard Parr, Kevin Curran	Dynamic multimedia protocol stacks.	Softw. Concepts Tools	1998	DBLP DOI BibTeX RDF	Object frameworks, Distributed systems, Multimedia, Middleware, Protocol, Continuous media
19	Kathi Fisler, Claude Girault	Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.	ICATPN	1998	DBLP DOI BibTeX RDF	Protocol design and verification, model checking, distributed shared memory, high level Petri nets, memory consistency
19	Govind Krishnamurthi, Stefano Chessa, Arun K. Somani	Fast Recovery Protocol for Database and Link Failures in Mobile Networks.	ICCCN	1998	DBLP DOI BibTeX RDF	database failures, recovery protocol, location management, PCS networks
19	Pierre N. Robillard, Patrick d'Astous, Françoise Détienne, Willemien Visser	An empirical method based on protocol analysis to analyze technical review meetings.	CASCON	1998	DBLP BibTeX RDF	cognitive activity, technical review meeting, software engineering, collaborative work, empirical methods, protocol analysis
19	Gavin Lowe, A. W. Roscoe 0001	Using CSP to Detect Errors in the TMN Protocol.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	protocol failure, model checking, cryptography, Security protocols, CSP, key establishment, FDR
19	Michael K. Reiter	A Secure Group Membership Protocol.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	group membership protocol, Security, distributed systems, reliability, Byzantine failures
19	Jianying Zhou 0001, Dieter Gollmann	A Fair Non-repudiation Protocol.	S&P	1996	DBLP DOI BibTeX RDF	fair nonrepudiation protocol, message sender, message receiver, cryptography, protocols, formal verification, formal verification, encryption, trusted third party
19	Eric Platt, Barry Robson	Practical use of a fully automatic homology-based protein modelling protocol.	HICSS (5)	1995	DBLP DOI BibTeX RDF	fully automatic homology-based protein modelling protocol, tertiary structure prediction, HOM FOLD, fragment-based approach, GLOBAL language, energy refinement, X-ray crystallographic data, reproducibilty, 1.80 angstrom, rule based system, interactive modelling, biology computing, proteins, algorithm performance, molecular configurations, molecular biophysics
19	Mohd Fadzil Hassan 0001, Dave Robertson 0001	Constraint Relaxation Approach for Over-Constrained Agent Interaction.	PRICAI	2008	DBLP DOI BibTeX RDF	Over-constrained agent interaction, brittle agent protocol, Distributed Partial CSP and agent protocol
19	Olivier Rütti, Pawel T. Wojciechowski, André Schiper	Service interface: a new abstraction for implementing and composing protocols.	SAC	2006	DBLP DOI BibTeX RDF	dynamic protocol replacement, protocol frameworks, modularity
19	Amre El-Hoiydi, Jean-Dominique Decotignie	Low Power Downlink MAC Protocols for Infrastructure Wireless Sensor Networks.	Mob. Networks Appl.	2005	DBLP DOI BibTeX RDF	low power protocol, infrastructure network, wireless sensor network, medium access control, energy efficient protocol, downlink
19	Dev Anshul, Suman Roy 0001	A ZKP-based identification scheme for base nodes in wireless sensor networks.	SAC	2005	DBLP DOI BibTeX RDF	guillou-quisquater protocol, sensor and ad hoc networks, security protocols, wireless security, base stations, zero-knowledge protocol, entity authentication
19	Joseph Y. H. So, Jidong Wang, David Jones	SHIP Mobility Management Hybrid SIP-HIP Scheme.	SNPD	2005	DBLP DOI BibTeX RDF	Session Initiation Protocol (SIP), mobility management, Host Identity Protocol (HIP)
19	Erik Jan Marinissen	The Role of Test Protocols in Automated Test Generation for Embedded-Core-Based System ICs.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	system chips, test protocol, test protocol scheduling, test generation, expansion, embedded cores
19	Andreas Schmid 0002, Olaf Kandel, Christoph Steigner	Avoiding Counting to Infinity in Distance Vector Routing.	ICN (1)	2001	DBLP DOI BibTeX RDF	Routing Information Protocol, Counting to Infinity, Internet, Protocol Design
19	Yu-Kwong Kwok, Vincent K. N. Lau	A Performance Study of Multiple Access Control Protocols for Wireless Multimedia Services.	ICNP	2000	DBLP DOI BibTeX RDF	integrated voice/data communication, packet reservation multiple access, multiple access control protocols, wireless multimedia services, broadband wireless multimedia network, user traffic requirements, channel bandwidth allocation, TDMA-based MAC protocols, integrated wireless data/voice services, SCAMA, DTDMA/VR, DTDMA/PR, D4RUMA, DPRMA, DSA++, PRMA/DA, orthogonal design, quality of service, quality of service, performance, asynchronous transfer mode, multimedia communication, time division multiple access, MAC protocol, telecommunication traffic, access protocols, protocol designs, CBR, VBR, broadband networks, packet radio networks, ABR, wireless ATM network
19	Robert N. Smith, Balan Mahesh, Sharada Bindiganavale	An adaptive mobile wireless handover.	COMPSAC	1997	DBLP DOI BibTeX RDF	adaptive mobile wireless handover, mobile assisted look ahead handover protocol, self position locating feature, network layer protocol, preconceived optimal candidate parent base station list, mobile unit, pilot/beacon channel signal, quality of service, probability, redundancy, redundancy, triangulation
19	Charbel Sakr, Terence D. Todd	Carrier-sense protocols for packet-switched smart antenna basestations.	ICNP	1997	DBLP DOI BibTeX RDF	carrier-sense protocols, packet-switched smart antenna basestations, packet-switched data networks, reverse-link performance, CSMA/SDMA protocol, capacity performance, sophisticated protocol, protocols, CSMA, SDMA
19	John C. Mitchell, Mark Mitchell, Ulrich Stern	Automated analysis of cryptographic protocols using Mur-phi.	S&P	1997	DBLP DOI BibTeX RDF	cryptographic protocol analysis, Mur/spl phi/, general-purpose state enumeration tool, security-related protocols, faulty TMN protocol, replay attack detection, cryptography, methodology, errors, client server system, network operating system, computation time, Kerberos
19	Sarvar Patel	Number Theoretic Attacks on Secure Password Schemes.	S&P	1997	DBLP DOI BibTeX RDF	number theoretic attacks, secure password schemes, Encrypted Key Exchange, EKE, authenticated information exchange, insecure network, secret key cryptography, randomized confounders, RSA version, half encrypted versions, Direct Authentication Protocol, Secret Public Key Protocol versions, secure protocols, message authentication, dictionary attacks, active attacks, password guessing attacks
19	Hiroaki Kigaki, Makoto Takizawa 0001	Group communication approach for flexible distributed systems.	ISPAN	1996	DBLP DOI BibTeX RDF	flexible distributed systems, updating application software, multiple processes, protocol errors, distributed systems, parallel programming, protocol, groupware, distributed processing, checkpointing, rollback recovery, timeout, message transmission, process group
19	Ki Won Lee, Christos J. Georgiou, Chung-Sheng Li	Ultra High-Speed Networking Solution: Fibre Channel Architecture and Its Implementation.	FTDCS	1995	DBLP DOI BibTeX RDF	protocol engine real-time protocol processing, High speed networking, Fibre Channel
19	Alois Ferscha, Johannes Lüthi	Estimating rollback overhead for optimism control in Time Warp.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	rollback overhead, adaptive optimism control mechanism, performance pitfall, Time Warp distributed discrete event simulation protocol, DDES protocol, overoptimistic progression, event execution, simulated future, premature event execution, causality violations, performance inefficiencies, observed model parallelism, local virtual time, LVT progression per unit CPU time, arriving messages, simulation engine, optimal CPU delay interval, rollback probability, synchronization behavior, iPSC/860, protocols, virtual machines, discrete event simulation, adaptive systems, optimal control, cost model, distributed memory multiprocessor, time warp simulation, logical processes
19	N. Nakamura, N. Kashimura, K. Motomura	CMIP to SNMP translation technique based on rule description.	ICCCN	1995	DBLP DOI BibTeX RDF	CMIP to SNMP translation technique, rule description, simple network management protocol, common management information protocol, management information translation, Network Management Forum translation method, CMIP object, SNMP object, management information translation for an integrated system, MITIS, performance, protocols, network management
19	O. Catrina	Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0.	PSTV	1995	DBLP BibTeX RDF
19	Claus Dendorfer, Rainer Weber	From Service Specification to Protocol Entity Impelmentation - An Exercise in Formal Protocol Development.	PSTV	1992	DBLP BibTeX RDF
19	Heinz Jürgen Burkhardt, Hans Eckert, Alfred Giessler	Testing of protocol implementations. A systematic approach to derivation of test sequences form global protocol specifications.	PSTV	1985	DBLP BibTeX RDF
19	Jean-Pierre Ansart	GENEPI/A-A Protocol Independent System for Testing Protocol Implementation.	PSTV	1982	DBLP BibTeX RDF
19	Amr A. El-Sherif, Andres Kwasinski, Ahmed K. Sadek, K. J. Ray Liu	Content-aware multiple access protocol for cooperative packet speech communications.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
19	Hui Cheng, Jiannong Cao 0001, Xiaopeng Fan	GMZRP: Geography-aided Multicast Zone Routing Protocol in Mobile Ad Hoc Networks.	Mob. Networks Appl.	2009	DBLP DOI BibTeX RDF	hybrid routing, mobile ad hoc networks, multicast
19	Yuh-Shyan Chen, Yi-Jiun Liao, Yun-Wei Lin, Ge-Ming Chiu	HVE-mobicast: a hierarchical-variant-egg-based mobicast routing protocol for wireless sensornets.	Telecommun. Syst.	2009	DBLP DOI BibTeX RDF	Spatiotemporal multicast, Mobicast, Cluster, Wireless sensor network, Routing
19	Bing Liang, Yingjiu Li, Changshe Ma, Tieyan Li, Robert H. Deng	On the Untraceability of Anonymous RFID Authentication Protocol with Constant Key-Lookup.	ICISS	2009	DBLP DOI BibTeX RDF	Privacy, Authentication, RFID, Anonymous
19	Varun Srinivas, Lu Ruan 0001	An efficient reliable multicast protocol for 802.11-based wireless LANs.	WOWMOM	2009	DBLP DOI BibTeX RDF
19	Stephan J. Eidenbenz, Giovanni Resta, Paolo Santi	The COMMIT Protocol for Truthful and Cost-Efficient Routing in Ad Hoc Networks with Selfish Nodes.	IEEE Trans. Mob. Comput.	2008	DBLP DOI BibTeX RDF	cooperation in ad hoc networks, cooperative routing, energy-efficiency, wireless ad hoc networks, topology control
19	Vimal K. Khanna, Hari M. Gupta, Satyavardhan Maheshwari	A high throughput and low power ad-hoc wireless LAN protocol.	Wirel. Networks	2008	DBLP DOI BibTeX RDF	Ad-hoc wireless LAN, Contention-free transfer, IEEE 802.11, Energy, Power save
19	Li Jian	An Agent Bilateral Multi-issue Alternate Bidding Negotiation Protocol Based on Reinforcement Learning and its Application in E-commerce.	ISECS	2008	DBLP DOI BibTeX RDF	E-commerce, Multi-agent
19	Abdullah M. S. Alaraj, Malcolm Munro	An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest.	SAFECOMP	2008	DBLP DOI BibTeX RDF
19	Dimitrios Koutsonikolas, Theodoros Salonidis, Henrik Lundgren, Pascal Le Guyadec, Y. Charlie Hu, Irfan Sheriff	TDM MAC protocol design and implementation for wireless mesh networks.	CoNEXT	2008	DBLP DOI BibTeX RDF
19	Chia-Hung Lin, Bing-Hong Liu, Hong-Yen Yang, Chi-Yen Kao, Ming-Jer Tsai	Virtual-Coordinate-Based Delivery-Guaranteed Routing Protocol in Wireless Sensor Networks with Unidirectional Links.	INFOCOM	2008	DBLP DOI BibTeX RDF
19	Bruno Blanchet, Avik Chaudhuri	Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage.	SP	2008	DBLP DOI BibTeX RDF	lazy revocation, key rotation, cryptographic access control, automatic verification, secure storage
19	Pubali Banerjee, Doug Jacobson, Soumendra Nath Lahiri	Security and performance analysis of a secure clustering protocol for sensor networks.	NCA	2007	DBLP DOI BibTeX RDF
19	Petr Jurcík, Anis Koubaa, Mário Alves, Eduardo Tovar, Zdenek Hanzálek	A Simulation Model for the IEEE 802.15.4 protocol: Delay/Throughput Evaluation of the GTS Mechanism.	MASCOTS	2007	DBLP DOI BibTeX RDF	GTS, OPNET Modeler, analytical model, simulation model, IEEE 802.15.4
19	Zhitang Li, Shudong Shi	A Secure Routing Protocol for Mobile Ad hoc Networks.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF
19	Yehuda Lindell, Benny Pinkas	An Efficient Protocol for Secure Two-Party Computation in the Presence of Malicious Adversaries.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
19	Vivek Rai, Swaminathan Sivasubramanian, Sandjai Bhulai, Pawel Garbacki, Maarten van Steen	A Multiphased Approach for Modeling and Analysis of the BitTorrent Protocol.	ICDCS	2007	DBLP DOI BibTeX RDF	orig-research
19	Mohamed Hefeeda, Hossein Ahmadi 0001	A Probabilistic Coverage Protocol for Wireless Sensor Networks.	ICNP	2007	DBLP DOI BibTeX RDF
19	Jeom Goo Kim, Do Hyeon Lee, Jeong-Bae Lee	A Design of Fair Blind Signatures Protocol Using PVNIOT.	ICCSA (2)	2007	DBLP DOI BibTeX RDF	VNIOT Protocols, Network Traffic, Blind Signatures
19	Suman Saha, Mitsuji Matsumoto	A Framework for Data Collection and Wireless Sensor Network Protocol for Disaster Management.	COMSWARE	2007	DBLP DOI BibTeX RDF
19	Nidal Nasser, Yunfeng Chen	Secure Multipath Routing Protocol for Wireless Sensor Networks.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
19	Kin Wah Kwong, Danny H. K. Tsang	A congestion-aware search protocol for heterogeneous peer-to-peer networks.	J. Supercomput.	2006	DBLP DOI BibTeX RDF	Unstructured peer-to-peer networks, Heterogeneous capacity, Searching, Congestion
19	Maurice Herlihy, Fabian Kuhn, Srikanta Tirthapura, Roger Wattenhofer	Dynamic Analysis of the Arrow Distributed Protocol.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
19	Baris Kayayurt, Tugkan Tuglular	End-to-end security implementation for mobile devices using TLS protocol.	J. Comput. Virol.	2006	DBLP DOI BibTeX RDF
19	Benjamin W. Long, Colin J. Fidge	Formally Analysing a Security Protocol for Replay Attacks.	ASWEC	2006	DBLP DOI BibTeX RDF
19	Pengyong Ma, Shuming Chen	MID: a Novel Coherency Protocol in Chip Multiprocessor.	CIT	2006	DBLP DOI BibTeX RDF
19	Magdalena Payeras-Capellà, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger	Achieving Fairness and Timeliness in a Previous Electronic Contract Signing Protocol.	ARES	2006	DBLP DOI BibTeX RDF
19	Yin Yin, Bao Li 0001	Secure Cross-Realm C2C-PAKE Protocol.	ACISP	2006	DBLP DOI BibTeX RDF
19	José Ghislain Quenum, Samir Aknine, Onn Shehory, Shinichi Honiden	Dynamic Protocol Selection in Open and Heterogeneous Systems.	IAT	2006	DBLP DOI BibTeX RDF
19	Chen Dong, Jiandong Li 0001, Jing Ma	Multiple access protocol for WLAN based on adaptive token passing with fairness guarantee.	AINA (2)	2006	DBLP DOI BibTeX RDF
19	Jichiang Tsai 0001	An Efficient Index-Based Checkpointing Protocol with Constant-Size Control Information on Messages.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	domino effect, communication-induced checkpointing, index-based protocols, fault tolerance, Distributed systems
19	Tabito Suzuki, Mamoru Ohara, Masayuki Arai, Satoshi Fukumoto, Kazuhiko Iwasaki	Analysis of Probabilistic Trapezoid Protocol for Data Replication.	DSN	2005	DBLP DOI BibTeX RDF
19	Nirav Dave, Man Cheuk Ng, Arvind	Automatic synthesis of cache-coherence protocol processors using Bluespec.	MEMOCODE	2005	DBLP DOI BibTeX RDF
19	Sangok Kim, Kanghee Lee, Zhefan Jiang, Hyunchul Bae, Sangwook Kim	Streaming Player Support Protocol Adaptation and Independent Operating System.	ACIS-ICIS	2005	DBLP DOI BibTeX RDF
19	Guilin Wang	An abuse-free fair contract signing protocol based on the RSA signature.	WWW	2005	DBLP DOI BibTeX RDF	security, e-commerce, digital signatures, RSA, cryptographic protocols, fair-exchange, contract signing
19	Hamed El-Afandi, S. Hossein Hosseini, K. Vairavan	A simulation study of the intelligent wireless ad hoc routing (IWAR) protocol.	PE-WASUN	2005	DBLP DOI BibTeX RDF	IWAR, ad hoc protocols, ad hoc network, wireless networking
19	Stephan J. Eidenbenz, Giovanni Resta, Paolo Santi	COMMIT: A Sender-Centric Truthful and Energy-Efficient Routing Protocol for Ad Hoc Networks with Selfish Nodes.	IPDPS	2005	DBLP DOI BibTeX RDF
19	Satish Verma, Wei Tsang Ooi	Controlling Gossip Protocol Infection Pattern Using Adaptive Fanout.	ICDCS	2005	DBLP DOI BibTeX RDF
19	Panlong Yang, Chang Tian	Crossing Effects Analysis Between Routing and MAC Protocol in Mobile Ad Hoc Networks.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
19	Jichiang Tsai 0001, Jenn-Wei Lin	On the Fully-Informed Communication-Induced Checkpointing Protocol.	PRDC	2005	DBLP DOI BibTeX RDF
19	Mahadevan Subramaniam	Preserving Consistency of Runtime Monitors across Protocol Changes.	ICECCS	2005	DBLP DOI BibTeX RDF
19	Mahadevan Subramaniam, Jiangfan Shi	Using Dominators to Extract Observable Protocol Contexts.	SEFM	2005	DBLP DOI BibTeX RDF
19	Kshirasagar Naik, David S. L. Wei, Danny Krizanc, Sy-Yen Kuo	A reservation-based multicast protocol for WDM optical star networks.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
19	Injong Rhee	NC State scientists develop breakthrough internet protocol.	Comput. Entertain.	2004	DBLP DOI BibTeX RDF
19	Xiaojiang Du	A Simulation Study of An Energy Efficient Routing Protocol for Mobile Ad Hoc Networks.	Annual Simulation Symposium	2004	DBLP DOI BibTeX RDF
19	Aleksandra Nenadic, Ning Zhang 0001, Stephen K. Barton	A secure and fair DSA-based signature exchange protocol.	ISCC	2004	DBLP DOI BibTeX RDF
19	Feng Bao 0001, Guilin Wang, Jianying Zhou 0001, Huafei Zhu	Analysis and Improvement of Micali's Fair Contract Signing Protocol.	ACISP	2004	DBLP DOI BibTeX RDF
19	Gang Yao, Dengguo Feng	A New k-Anonymous Message Transmission Protocol.	WISA	2004	DBLP DOI BibTeX RDF
19	Pedro Uria Recio, Peter Rauch, Koldo Espinosa	Link Management Protocol (LMP) Evaluation for SDH/Sonet.	ICT	2004	DBLP DOI BibTeX RDF
19	Norka B. Lucena, James Pease, Payman Yadollahpour, Steve J. Chapin	Syntax and Semantics-Preserving Application-Layer Protocol Steganography.	Information Hiding	2004	DBLP DOI BibTeX RDF	application protocols, semantics, steganography, syntax, SSH
19	Tan Wang, Ajit Singh	A User Level, Reliable, and Reconfigurable Transport Layer Protocol.	IWDC	2004	DBLP DOI BibTeX RDF
19	Jie Wu 0001, Fei Dai 0001, Xiaola Lin, Jiannong Cao 0001, Weijia Jia 0001	An Extended Fault-Tolerant Link-State Routing Protocol in the Internet.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Fault tolerance, Internet, routing, loop-free, link-state
19	Azzedine Boukerche, Vaidya Sheetal	A Performance Evaluation of a Dynamic Source Routing Discovery Optimization Protocol Using GPS System.	Telecommun. Syst.	2003	DBLP DOI BibTeX RDF	preemptive algorithms, mobile and wireless networks, ad hoc networks, dynamic source routing
19	Jonathan Billington, Guy Edward Gallasch, Bing Han	A Coloured Petri Net Approach to Protocol Verification.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
19	Jae-Gwi Choi, Kouichi Sakurai, Ji-Hwan Park	Does It Need Trusted Third Party? Design of Buyer-Seller Watermarking Protocol without Trusted Third Party.	ACNS	2003	DBLP DOI BibTeX RDF
19	Sung Chune Choi, Hee Yong Youn, Joong-Sup Choi	Symmetric Tree Replication Protocol for Efficient Distributed Storage System.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
19	Rosario Gennaro, Stanislaw Jarecki, Hugo Krawczyk, Tal Rabin	Secure Applications of Pedersen's Distributed Key Generation Protocol.	CT-RSA	2003	DBLP DOI BibTeX RDF	distributed key generation, discrete logarithm, random oracle model, Threshold cryptography, exact security
19	Steven Gordon, Lars Michael Kristensen, Jonathan Billington	Verification of a Revised WAP Wireless Transaction Protocol.	ICATPN	2002	DBLP DOI BibTeX RDF
19	Noritaka Fukagawa, Noboru Iida, Takashi Watanabe 0001	A Distributed Multimedia Multiple Access Protocol for Adhoc Networks.	DEXA Workshops	2002	DBLP DOI BibTeX RDF
19	Jianbo Gao, Izhak Rubin	Analysis of Random Access Protocol under Bursty Traffic.	MMNS	2001	DBLP DOI BibTeX RDF
19	Lars-Åke Larzon, Mikael Degermark, Stephen Pink	Requirements on the TCP/IP Protocol Stack for Real-Time Communication in Wireless Environments.	QoS-IP	2001	DBLP DOI BibTeX RDF