Search results for "protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	C. Admas, S. Lloyd	Profiles and protocols for the Internet Public-Key Infrastructure.	FTDCS	1997	DBLP DOI BibTeX RDF	Internet Public-Key Infrastructure, X.509 authentication framework, IETF PKIX working group, CRL profile, operational protocols, certificate management protocols, certificate policy, time stamp protocols, notrary protocols, Internet, protocols, standardization, certification, X.509 certificate
7	Paul J. Fortier, John C. Sieg Jr.	Simulation analysis of early commit concurrency control protocols.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	simulation analysis, early commit concurrency control protocols, concurrency control enforcement, atomic data sets, transaction writer, conventional locking, recovery protocols, merged-commit, databases, protocols, virtual machines, concurrency control, database management systems, transaction processing, database design, system recovery, simulation model, replay, optimistic protocols, protocols performance, timestamp ordering
6	Sriram Rao, Lorenzo Alvisi, Harrick M. Vin	The Cost of Recovery in Message Logging Protocols.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	log-based rollback recovery, pessimistic protocols, causal protocols, fault tolerance, Distributed computing, optimistic protocols, hybrid protocols
6	Efstratios Thomopoulos, Louise E. Moser, P. M. Melliar-Smith	Analyzing the latency of the Totem multicast protocols.	ICCCN	1997	DBLP DOI BibTeX RDF	Totem multicast protocols, multicast group communication protocols, latency analysis, reliable totally ordered delivery, logical token-passing ring, single-ring network, two-ring network, four-ring network, multiple-ring networks, mean latency, latency distribution, distributed systems, protocols, local area networks, LAN, probability density functions, gateways, protocols performance, message delivery, message filtering
5	Rafik Makhloufi, Grégory Bonnet, Guillaume Doyen, Dominique Gaïti	Decentralized Aggregation Protocols in Peer-to-Peer Networks: A Survey.	MACE	2009	DBLP DOI BibTeX RDF	aggregation protocols, Peer-to-Peer decentralized monitoring, tree-based protocols, gossip-based protocols
5	Liqun Chen, Hoon Wei Lim, Wenbo Mao	User-Friendly Grid Security Architecture and Protocols.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF	Grid Security Infrastructure, Public-key Authentication Framework, Dynamic Public Keys, Security Protocols, Grid Security
5	Indranil Gupta	On the design of distributed protocols from differential equations.	PODC	2004	DBLP DOI BibTeX RDF	endemic protocols, probabilistic protocols, science of protocol design, reliability, scalability, distributed protocols
5	Kamil Kulesza, Zbigniew Kotulski	Addressing New Challenges by Building Security Protocols Around Graphs.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF	extended capabilities, graph theory, quantum computing, security protocols, secret sharing, data security, graph colouring
5	Yu-Kwong Kwok, Vincent K. N. Lau	A Performance Study of Multiple Access Control Protocols for Wireless Multimedia Services. (PDF / PS)	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
5	Constantine Coutras, Peng-Jun Wan, Ophir Frieder	Analytical Modeling and Performance Evaluation of the HIPERLAN CAC Layer Protocol for Real-Time Traffic. (PDF / PS)	LCN	2000	DBLP DOI BibTeX RDF	HIPERLAN CAC layer protocol, wireless LAN protocols, WLAN protocols, MAC layer protocols, radio equipment, radio systems, European Telecommunications Standards Institute, high performance radio LAN, channel access control layer, simulation, performance evaluation, performance evaluation, real-time systems, wireless networks, wireless LAN, medium access control, analytical modeling, telecommunication traffic, personal computers, access protocols, wireless systems, telecommunication congestion control, telecommunication standards, real-time traffic, packet radio networks, land mobile radio
5	LihChyun Shu, Michal Young	Chopping and versioning real-time transactions to avoid remote blocking.	RTCSA	2000	DBLP DOI BibTeX RDF	real time transaction versioning, remote blocking, versioning protocols, chopping analysis, pure locking protocols, 1-version serializability, design time information, simple data structures, small bounded overheads, worst case access times, scheduling, real-time systems, protocols, concurrency control, multiprocessors, multiprocessing systems, transaction processing, configuration management, schedulability analysis, hard real time systems, critical sections, locking protocols, database concurrency control
5	John Spinelli	Self-stabilizing sliding window ARQ protocols.	IEEE/ACM Trans. Netw.	1997	DBLP DOI BibTeX RDF	ARQ protocols, computer network protocols, self-stabilizing protocols, protocols
5	Taekyoung Kwon, JooSeok Song	Security and efficiency in authentication protocols resistant to password guessing attack. (PDF / PS)	LCN	1997	DBLP DOI BibTeX RDF	password guessing attack resistance, secret, user-chosen weak secret, security-oriented protocols, cipher operations, protocol steps, poorly-chosen weak secret protection, security, efficiency, cryptographic protocols, key exchange, message authentication, authentication protocols, secure communications, random numbers, dictionary attacks
5	David C. Roberts, David A. Grossman, Ophir Frieder, R. Bernstein, E. Bisfiop	Performance testing of communication protocols for three-tier computing: results for ICA and X window protocols.	ICCCN	1997	DBLP DOI BibTeX RDF	three-tier computing, ICA protocols, X window protocols, Windows NT operating system, data server, stored databases, Tier 1, Tier 2, client program, desktop machines, Tier 3, intelligence computer architecture, Microsoft Office 97, Lotus Notes applications, user interface, data compression, data compression, communication protocols, network traffic, application server, performance testing, network bandwidth, multi-user environment
5	Michael Hitchens, Vijay Varadharajan	esign Choices For Symmetric Key Based Inter-Domain Authentication Protocols In Distributed Systems.	ACSAC	1996	DBLP DOI BibTeX RDF	design choices, secure interactions, key establishment protocols, client responsibility, trusted server responsibility, inter-domain protocols, symmetric key systems, OSF Distributed Computing Environment, distributed systems, message authentication, authentication protocols, Kerberos
5	Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin	Verifying The Correctness Of Cryptographic Protocols Using "Convince".	ACSAC	1996	DBLP DOI BibTeX RDF	Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support
5	Ricardo Bianchini, Leonidas I. Kontothanassis	Algorithms for categorizing multiprocessor communication under invalidate and update-based coherence protocols.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	shared-memory multiprocessor communication, invalidate-based cache coherence protocols, update-based cache coherence protocols, reference patterns, sharing patterns, useless data traffic, data traffic categorization, parallel programming, parallel programs, virtual machines, transaction processing, shared memory systems, coherence, cache storage, telecommunication traffic, cache misses, simulation algorithms, update transactions, memory protocols
5	Andrew A. Hanish, Tharam S. Dillon	Object-oriented modelling of communication protocols for re-use.	ICCCN	1995	DBLP DOI BibTeX RDF	industrial implementations, reuseable software modules, reuseable model elements, message sequence encoding, protocol entities, ISO/OSI Reference Model, generalised model, interlayer communication model, modified TTCN notation, Petri nets, protocols, communication protocols, networking protocols, object-oriented modelling, formal descriptions, protocol implementation, alternating bit protocol
5	Daniel A. Menascé, Yelena Yesha, Konstantinos Kalpakis	On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	distributed quorum attainment protocols, unified analytical model, Majority Consensus algorithms, primary site approach, parallel version, tree-based mutual exclusion protocols, fault tolerance, performability, distributed systems, performance analysis, protocols, distributed algorithms, software performance evaluation, software fault tolerance, performability metric, network delay, unified framework, protocol performance, delay analysis, mutual exclusion algorithms
5	Deepinder P. Sidhu, Juan Aristizabal	Constructing Submodule Specifications and Network Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	submodule specifications, module specification, formal specification, formal specification, protocols, software tools, finite-state machine, communication protocols, network protocols, finite automata, automated tool, execution sequences
5	Mostafa A. Bassiouni	Single-Site and Distributed Optimistic Protocols for Concurrency Control.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	single site protocols, single site networks, lock maintenance, deadlock handling, protocols, distributed databases, distributed databases, concurrency control, computer networks, database management system, system recovery, distributed networks, distributed protocols, time-stamps, performance enhancement, optimistic protocols, synchronization methods
5	Ching-Hua Chow, Simon S. Lam	PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	communication protocols verification, PROSPEC, interactive programming environment, fair reachability analysis, multiphase construction, protocol projection, BSC, X.21, X.25, Telnet document transfer protocols, protocols, specification, software tools, programming environments, graphical interface, interactive programming
5	Lansing Sloan	Mechanisms that Enforce Bounds on Packet Lifetimes	ACM Trans. Comput. Syst.	1983	DBLP DOI BibTeX RDF	internetwork gateways, maximum packet lifetime, network-layer protocols, three-way handshake, timer-based protocols, transit-time protocols, transport protocols, packet switching, link-layer protocols, subnetworks
4	Nikolaos A. Pantazis, Stefanos A. Nikolidakis, Dimitrios D. Vergados	Energy-efficient routing protocols in wireless sensor networks for health communication systems.	PETRA	2009	DBLP DOI BibTeX RDF	flat networks protocols, wireless sensor networks, routing protocols, sensor nodes
4	Yi Deng, Dongdai Lin	Novel Omega-protocols for NP.	Science in China Series F: Information Sciences	2008	DBLP DOI BibTeX RDF	?-protocols, ?-protocols, Hamiltonian cycle, concurrent zero knowledge
4	Costas Busch, Malik Magdon-Ismail, Fikret Sivrikaya, Bülent Yener	Contention-free MAC protocols for asynchronous wireless sensor networks.	Distributed Computing	2008	DBLP DOI BibTeX RDF	TDMA protocols, Wireless sensor networks, Self-stabilization, MAC protocols
4	Steven Y. Ko, Indranil Gupta, Yookyung Jo	A new class of nature-inspired algorithms for self-adaptive peer-to-peer computing.	TAAS	2008	DBLP DOI BibTeX RDF	autonomic computing and communication, bio-inspired techniques, probabilistic protocols, sequence equations, sequence protocols, adaptivity, grid computing, convergence, design methodology, distributed protocols, Complex adaptive systems, difference equations
4	Indranil Gupta, Mahvesh Nagda, Christo Frank Devaraj	The design of novel distributed protocols from differential equations.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Science of protocol design, Endemics, LV, Probabilistic protocols, Reliability, Scalability, Replication, Voting, Differential equations, Distributed protocols
4	Mohamed Saleh, Mourad Debbabi	Modeling Security Protocols as Games.	IAS	2007	DBLP DOI BibTeX RDF	Modeling cryptographic protocols, Security protocols, Game semantics
4	Rubén de Juan-Marín, Luis Irún-Briz, Francesc D. Muñoz-Escoí	Supporting amnesia in log-based recovery protocols.	EATIS	2007	DBLP DOI BibTeX RDF	amnesia support, recovery protocols, transactional replicated systems, replication protocols
4	Himabindu Pucha, Saumitra M. Das, Y. Charlie Hu	Imposed Route Reuse in Ad Hoc Network Routing Protocols Using Structured Peer-to-Peer Overlay Routing.	IEEE Trans. Parallel Distrib. Syst.	2006	DBLP DOI BibTeX RDF	wireless, Wireless communication, routing protocols, network protocols
4	Bulent 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
4	Teunis Ott	Transport Protocols in the TCP Paradigm and their Performance.	Telecommunication Systems	2005	DBLP DOI BibTeX RDF	performance of transport protocols, Internet, performance, TCP, transport protocols, protocol analysis
4	Juan Manuel Serrano, Sascha Ossowski	A semantic framework for the recursive specification of interaction protocols.	SAC	2005	DBLP DOI BibTeX RDF	recursive definitions, standards for agents and MAS, interaction protocols, agent-based software engineering, agent communication languages and protocols, organisational models
4	Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough	Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets.	SIGCOMM	2005	DBLP DOI BibTeX RDF	specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL
4	Mike Bond, George Danezis	The Dining Freemasons (Security Protocols for Secret Societies).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
4	Mike Bond	The Dining Freemasons (Security Protocols for Secret Societies).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
4	Ford-Long Wong	Multi-channel Protocols.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
4	Virgil D. Gligor	On the Evolution of Adversary Models in Security Protocols (or Know Your Friend and Foe Alike).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
4	Richard Clayton	Insecure Real-World Authentication Protocols (or Why Phishing Is So Profitable).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
4	Ford-Long Wong, Frank Stajano	Multi-channel Protocols.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
4	Yvo Desmedt	Understanding Why Some Network Protocols Are User-Unfriendly.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
4	Richard Clayton	Insecure Real-World Authentication Protocols (or Why Phishing Is So Profitable).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
4	Hoon Wei Lim	User-Friendly Grid Security Architecture and Protocols.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
4	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
4	Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson	A calculus for control flow analysis of security protocols.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Flow logic, Static analysis, Security protocols, Cryptographic protocols, Process calculi
4	Lívia M. R. Sampaio, Francisco Vilar Brasileiro, André L. C. Moreira	Performance Analysis of Adaptive Consensus Protocols Based on Slowness Oracles.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	adaptive distributed protocols, slowness oracles, asynchronous distributed systems, unreliable failure detectors, consensus protocols
4	Azzedine Boukerche, Khalil El-Khatib, Tingxue Huang	A performance comparison of dynamic channel and ressource allocation protocols for mobile cellular networks.	Mobility Management & Wireless Access Protocols	2004	DBLP DOI BibTeX RDF	wireless networks, mutual exclusion, dynamic channel allocation
4	John C. S. Lui, Vishal Misra, Dan Rubenstein	On the Robustness of Soft State Protocols.	ICNP	2004	DBLP DOI BibTeX RDF	methodology of designing network protocols, robustness, stochastic analysis
4	Vishwas S. Puttasubbappa, Harry G. Perros	Access Protocols to Support Different Service Classes in an Optical Burst Switching Ring.	NETWORKING	2004	DBLP DOI BibTeX RDF	Optical burst switching, access protocols, MAN, service classes
4	Phan Minh Dung, Phan Minh Thang	Stepwise development of security protocols: a speech act-oriented approach.	FMSE	2004	DBLP DOI BibTeX RDF	security protocols, cryptographic protocols
4	João L. Sobrinho	Network routing with path vector protocols: theory and applications.	SIGCOMM	2003	DBLP DOI BibTeX RDF	path vector protocols, BGP, border gateway protocol, algebra
4	Bruce Christianson	Where Have All the Protocols Gone?	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Birgit Pfitzmann, Michael Waidner	Federated Identity-Management Protocols.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati	Towards Flexible Credential Negotiation Protocols.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	N. Asokan	Man-in-the-Middle in Tunnelled Authentication Protocols (Discussion).	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Mike Burmester, Alec Yasinsac	Protocols for Supporting a Public Key Infrastructure in Ad Hoc Networks.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Colin Boyd, Wenbo Mao, Kenneth G. Paterson	Deniable Authenticated Key Establishment for Internet Protocols.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	N. Asokan, Valtteri Niemi, Kaisa Nyberg	Man-in-the-Middle in Tunnelled Authentication Protocols.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Simon N. Foley	Towards a Framework for Autonomic Security Protocols (Discussion).	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson	Is the Verification Problem for Cryptographic Protocols Solved?.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Brian Monahan	From Security Protocols to Systems Security (Discussion).	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Birgit Pfitzmann	Federated Identity-Management Protocols (Discussion).	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Brian Monahan	From Security Protocols to Systems Security.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Simon N. Foley, Hongbin Zhou	Towards a Framework for Autonomic Security Protocols.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Geraint Price	Client v. Server Side Protocols, Interfaces and Storage (Discussion).	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Alper Kanak, Öznur Özkasap	Transport Protocol Mechanisms for Wireless Networking: A Review and Comparative Simulation Study.	ISCIS	2003	DBLP DOI BibTeX RDF	wireless transport protocols, split-connection protocols, wired-cum-wireless, TCP, end-to-end protocols
4	Olivier Markowitch, Dieter Gollmann, Steve Kremer	On Fairness in Exchange Protocols.	ICISC	2002	DBLP DOI BibTeX RDF	exchange protocols, fairness, security protocols, fair exchange, security properties
4	Alec Yasinsac, James A. Davis	Modeling Protocols for Secure Group Communications in Ad Hoc Networks: (Extended Abstract).	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
4	James P. G. Sterbenz	Protocols for High-Speed Networks: A Brief Retrospective Survey of High-Speed Networking Research.	Protocols for High-Speed Networks	2002	DBLP DOI BibTeX RDF
4	Chris Blondia, Olga Casals, Peter De Cleyn, Gert Willems	Performance Analysis of IP Micro-mobility Handoff Protocols.	Protocols for High-Speed Networks	2002	DBLP DOI BibTeX RDF
4	Supakorn Kungpisdan, Yongyuth Permpoontanalarp	Practical Reasoning about Accountability in Electronic Commerce Protocols.	ICISC	2001	DBLP DOI BibTeX RDF	Formal methods for security protocols, analysis of electronic commerce protocols
4	William Aiello, Steven M. Bellovin, Matt Blaze, Ran Canetti, John Ioannidis, Angelos D. Keromytis, Omer Reingold	Efficient, DoS-Resistant, Secure Key Exchange for Internet Protocols.	Security Protocols Workshop	2001	DBLP DOI BibTeX RDF
4	Lawrence Klos, Golden G. Richard III	Julep: an environment for the evaluation of distributed process recovery protocols.	PRDC	2000	DBLP DOI BibTeX RDF	Julep, distributed process recovery protocols, object-oriented testbed, process recovery mechanisms, UDP-based object communication service, reliable object-based communication service, Java, Java, protocols, object-oriented programming, programming environments, system recovery, telecommunication channels, recovery mechanisms, communication mechanism
4	Tatsuo Nakajima	Practical Explicit Binding Interface for Supporting Multiple Transport Protocols in a CORBA System. (PDF / PS)	ICNP	2000	DBLP DOI BibTeX RDF	practical explicit binding interface, multiple transport protocols, CORBA system, standard CORBA interfaces, application portability, extended interface, omniORB2, CORBA 2.0 compliant system, AT? Laboratories, Cambridge, QoS, transport protocols, transport protocol, object model, software portability, network interfaces, distributed object management, connection management
4	David Polock, Dieter Zöbel	Conformance testing of priority inheritance protocols.	RTCSA	2000	DBLP DOI BibTeX RDF	priority inheritance protocols, priority inversion problem, protocol interfaces, predictability criteria, scheduling, real-time systems, real time systems, protocols, operating systems, conformance testing, conformance testing, run-time systems, test suites, application programmer
4	Peter Landrock	Interactive Identification Protocols (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
4	Roger M. Needham	Keynote Address: Security Protocols and the Swiss Army Knife (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
4	Christos Bouras, Apostolos Gkamas, Thrasyvoulos Tsiatsos	Internet Protocols for Synchronous Distance Learning. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	tele-teaching, collaborative medicine, Internet based synchronous distance learning application, multimedia, protocols, distance learning, Internet protocols, Web pages, telematics, client-server model, tele-medicine
4	Rainer Ruggaber, Jochen Seitz	Using CORBA applications in nomadic environments.	WMCSA	2000	DBLP DOI BibTeX RDF	radio access networks, CORBA applications, /spl Pi//sup 2/ proxy platform, ubiquitous network service access, sudden connection losses, scarce bandwidth, wireless link transparent encapsulation, client-server connection, dynamic type determination, bandwidth reduction, mobile computing, context awareness, protocols, caching, wireless LAN, data compression, connectivity, TCP/IP, transport protocols, distributed applications, location awareness, client-server systems, Wireless Application Protocol, WAP, access protocols, error rates, distributed object management, network technologies, nomadic computing, mobile node, seamless handover, wireless access networks, value-added services, generic interface
4	Gurdip Singh	Constraint-based Structuring of Network Protocols.	Distributed Computing	1999	DBLP DOI BibTeX RDF	Multifunction protocols, Safety and liveness properties, Distributed protocols, Protocol composition
4	Chih-Hung Li, Josef Pieprzyk	Conference Key Agreement from Secret Sharing.	ACISP	1999	DBLP DOI BibTeX RDF	Key Establishment Protocols, Shamir Secret Sharing, Cryptographic Protocols, Key Agreement Protocols
4	Peter Landrock	A New Concept in Protocols: Verifiable Computational Delegation (Position Paper).	Security Protocols Workshop	1998	DBLP DOI BibTeX RDF
4	Lorenzo Alvisi, Keith Marzullo	Message Logging: Pessimistic, Optimistic, Causal, and Optimal.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	pessimistic protocols, checkpoint-restart protocols, resilient processes, specification of fault-tolerance techniques, Message logging, optimistic protocols
4	Martín Abadi	Explicit Communication Revisited: Two New Attacks on Authentication Protocols.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	security, authentication, Cryptography, cryptographic protocols, authentication protocols
4	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
4	Xin Yuan, Rami G. Melhem, Rajiv Gupta	Distributed Path Reservation Algorithms for Multiplexed All-Optical Interconnection Networks.	HPCA	1997	DBLP DOI BibTeX RDF	distributed path reservation algorithms, multiplexed all-optical interconnection networks, distributed path reservation protocols, forward reservation protocols, backward reservation protocols, 2-dimensional torus interconnection networks, wavelength division multiplexing, communication delay, time division multiplexing, time division multiplexing
4	Martín Abadi, Roger M. Needham	Prudent Engineering Practice for Cryptographic Protocols.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	security, authentication, Cryptography, cryptographic protocols, authentication protocols
4	Nevin Heintze, J. D. Tygar	A Model for Secure Protocols and Their Compositions.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	logic of authentication, protocols-composition of, security, model, model checking, communication, Authentication, formal methods, cryptography, protocols, composition, time, computer security, clocks, protocol analysis, protocol analysis, timed models
4	K. Vijayananda	Distributed fault detection in communication protocols using extended finite state machines. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	distributed fault detection, run-time fault detection, coding defects, memory problems, protocol faults, vocabulary faults, sequencing faults, parallel decomposition method, multiple observers, distributed fault detection mechanism, fault tolerant computing, finite state machines, transport protocols, encoding, communication protocols, fault coverage, extended finite state machines
4	W. Timothy Strayer	A Class-Chest for Deriving Transport Protocols. (PDF / PS)	LCN	1996	DBLP DOI BibTeX RDF	class-chest, protocol algorithms, prebuilt infrastructure, Meta-Transport Library, C++ base classes library, Unix environment, rapid prototyping, transport protocols, transport protocols, protocol implementations
4	A. W. Roscoe	Intensional specifications of security protocols.	CSFW	1996	DBLP DOI BibTeX RDF	intensional specifications, formal specification, cryptography, security protocols, cryptographic protocols, confidentiality, access protocols
4	Stephen H. Brackin	A HOL extension of GNY for automatically analyzing cryptographic protocols.	CSFW	1996	DBLP DOI BibTeX RDF	HOL extension, automatically analyzing cryptographic protocols, higher order logic theory, authentication properties, protocol properties, hash operations, key-exchange algorithms, formal specification, cryptography, message authentication, access protocols, message authentication codes, multiple encryption, belief maintenance, belief logic
4	Gavin Lowe	Some new attacks upon security protocols.	CSFW	1996	DBLP DOI BibTeX RDF	authentication, security protocols, public key cryptography, access protocols, cryptographic key
4	Alain Raynaud, Zheng Zhang, Josep Torrellas	Distance-Adaptive Update Protocols for Scalable Shared-Memory Multiprocessors.	HPCA	1996	DBLP DOI BibTeX RDF	update protocols, cache coherence protocols, scalable shared-memory multiprocessors
4	W. Melody Moh, Yu-Feng Chung, Teng-Sheng Moh, Joanna Wang	Evaluation of high speed LAN protocols as multimedia carriers . (PDF / PS)	ICCD	1996	DBLP DOI BibTeX RDF	high speed LAN protocols, multimedia carriers, full-motion video, 100 Base-T Fast Ethernet, Ethernet++, 100 VG-AnyLAN, protocols, animation, images, audio, graphics, voice
4	Dieter Gollmann	What do We Mean by Entity Authentication?	IEEE Symposium on Security and Privacy	1996	DBLP DOI BibTeX RDF	authentication protocol design, message passing protocols, high-level objectives, protocol specification abstraction level, cryptographic function, formal specification, cryptography, protocols, message passing, encryption, communication protocols, message authentication, entity authentication
4	Krishna M. Sivalingam	Hybrid Media Access Protocols for a DSM System Based on Optical WDM Networks. (PDF / PS)	HPDC	1995	DBLP DOI BibTeX RDF	hybrid media access protocols, optical WDM networks, all-optical wavelength division multiplexed networks, collisionless communication, performance evaluation, multicast, broadcast, multiprocessor interconnection networks, interconnection, shared memory systems, distributed memory systems, simulation models, wavelength division multiplexing, access protocols, optical communication, system parameters, DSM system
4	Ali Assi, Bozena Kaminska	Modeling of communication protocols in VHDL.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	ISO/CCITT class O, VLSI, VLSI, high level synthesis, VHDL, transport protocols, transport protocol, communication protocols, hardware description languages, hardware implementations, high level design, ISO standards
4	David W. Pritty, Duncan N. Smeed, Norman L. Lawrie	A new class of high speed LAN access protocols based on the principle of timed packet release. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	timed packet release, high speed local area network, bus structures, TPR, performance evaluation, performance, discrete event simulation, discrete event simulation, local area networks, access protocols, access protocols, comparative evaluation, high speed LAN