David Lorge Parnas - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged protocol

Improving the novel three-party encrypted key exchange protocolEun-Jun Yoon, Kee-Young Yoo. csi, 30(5):309-314, 2008. [doi]

A Probabilistic Subpacket Retransmission Scheme for ARQ ProtocolsMichael L. B. Riediger, Paul K. M. Ho. icc 2008: 4809-4813 [doi]

Main Memory Commit Protocols for Multiple BackupsHeine Kolltveit, Svein-Olaf Hvasshovd. icn 2008: 479-484 [doi]

New Developments in Storage Network ProtocolsTom Clark. cmg 2007: 583-592

DNSSEC: a protocol toward securing the internet infrastructureAmy Friedlander, Allison Mankin, W. Douglas Maughan, Stephen D. Crocker. CACM, 50(6):44-50, 2007. [doi]

Proceedings of the 14th IEEE International Conference on Network Protocols, ICNP 2006, November 12-15, 2006, Santa Barbara, California, USAIEEE Computer Society, 2006.

Engineering change protocols for behavioral and system synthesisDarko Kirovski, Milenko Drinic, Miodrag Potkonjak. tcad, 24(8):1145-1155, 2005. [doi]

3TP: an application-Layer protocol for streaming 3-D modelsGhassan Al-Regib, Yucel Altunbasak. tmm, 7(6):1149-1156, 2005. [doi]

Topomers: A Validated Protocol for Their Self-Consistent GenerationRobert J. Jilek, Richard D. Cramer. jcisd, 44(4):1221-1227, 2004. [doi]

12th IEEE International Conference on Network Protocols (ICNP 2004), 5-8 October 2004, Berlin, GermanyIEEE Computer Society, 2004.

Analysing Protocol Subject to Guessing AttacksGavin Lowe. jcs, 12(1):83-98, 2004.

A general secure electronic auction protocolQinghua Xiao, Lingdi Ping. SMC 2004: 398-402 [doi]

Wireless Internet: Protocols and PerformanceCarey L. Williamson. mascots 2004: 118-142 [doi]

Performance evaluation of the AAL2 protocol within the UTRANRani Makké, Samir Tohmé, Jean-Yves Cochennec, Sophie Pautonnier. adt, 58(7-8):1041-1065, 2003. [doi]

Non-abelian key agreement protocolsIris Anshel, Michael Anshel, Dorian Goldfeld. DAM, 130(1):3-12, 2003. [doi]

Probes Coordination Protocol for Network Performance MeasurementRobert Harakaly, Pascale Primet, Franck Bonnassieux, Benjamin Gaidioz. cuza, 11:278-286, 2002.

Verification of Estelle-Specified Communication Protocols Using High-Level Petri NetsV. A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina. pcs, 27(2):58-68, 2001. [doi]

Protocols for High Speed Networks VI, IFIP TC6 WG6.1 & WG6.4 / IEEE ComSoc TC on Gigabit Networking Sixth International Workshop on Protocols for High Speed Networks (PfHSN 99), August 25-27, 1999, Salem, Massachusetts, USAJoseph D. Touch, James P. G. Sterbenz, editors, Volume 158 of IFIP Conference Proceedings, Kluwer, 2000.

Pseudo-Active Replication Protocol for Reliable Replica GroupNaokazu Nemoto, Hiroaki Higaki, Katsuya Tanaka, Makoto Takizawa. icdcsw 2000:

Attacks against the WAP WTLS protocolMarkku-Juhani Olavi Saarinen. cmsb 1999: 209-215

Client Access Protocols for Replicated ServicesChristos T. Karamanolis, Jeff Magee. TSE, 25(1):3-21, 1999. [doi]

On Boolean vs. Modular Arithmetic for Circuits and Communication ProtocolsCarsten Damm. mfcs 1998: 780-788 [doi]

The birth of the Internet printing protocol (IPP)Carl-Uno Manros. standardview, 6(4):135-139, 1998. [doi]

Group Communication Protocol for Realtime ApplicationsTakayuki Tachikawa, Hiroaki Higaki, Makoto Takizawa. icdcs 1998: 40-47 [doi]

ASN.1 protocol specification for use with arbitrary encoding schemesDuke Tantiprasut, John Neil, Craig Farrell. ton, 5(4):502-513, 1997. [doi]

Protocols for High-Speed Networks IVGerald W. Neufeld, Mabo Robert Ito, editors, Volume 8 of IFIP Conference Proceedings, Chapman & Hall, 1995.

1995 International Conference on Network Protocols, ICNP 1995, November 7-10, 1995, Tokyo, JapanIEEE Computer Society, 1995.

Defining High-Speed Protocols: Five Challenges and an Example that Survives the ChallengesJoseph D. Touch. jsac, 13(5):828-835, 1995.

Fast Perfect-Information Leader-Election Protocols with Linear ImmunityJason Cooper, Nathan Linial. combinatorica, 15(3):319-332, 1995.

The Dynamic Two Phase Commitment (D2PC) ProtocolYoav Raz. icdt 1995: 162-176 [doi]

A Highly Available Replication Control Protocol Using Volatile WitnessesJehan-François Pâris. icdcs 1994: 536-543

An Efficient Communication Protocol for High-Speed Packet-Switched Multichannel NetworksPierre A. Humblet, Rajiv Ramaswami, Kumar N. Sivarajan. jsac, 11(4):568-578, 1993.

Leveraged Computing: A Task Distribution ProtocolPaul M. Murray. icdcs 1992: 563-570

Register-Insertion: A Protocol for the Next Generation of Ring Local-Area NetworksWael Hilal Bahaa-El-Din, Ming T. Liu. cn, 24(5):349-366, 1992.

Constructing Protocol Converters with Guaranteed ServiceYow-Wei Yao, Ming T. Liu. infocom 1991: 960-969

New 3D graphical presentation of the ISO transport protocolGee-Swee Poo, Wilson Ang. comcom, 13(2):108-113, 1990. [doi]

On the Effects of Feedback in Dynamic Network ProtocolsBaruch Awerbuch. jal, 11(3):342-373, 1990.

A Media-Access Protocol for Packet-Switched Wavelength Division Multiaccess Metropolitan Area NetworksMon-Song Chen, Nicholas R. Dono, Rajiv Ramaswami. jsac, 8(6):1048-1057, 1990.

The Five Color Concurrency Control Protocol: Non-Two-Phase Locking in General DatabasesPartha Dasgupta, Zvi M. Kedem. TODS, 15(2):281-307, 1990. [doi]

Partially Ordering Broadcast (PO) ProtocolMakoto Takizawa, Akihito Nakamura. infocom 1990: 357-364

Documentation of Communications Services and ProtocolsDavid Lorge Parnas. forte 1990: 277-280

Automated Protocol Implementation with RTAGDavid P. Anderson. TSE, 14(3):291-300, 1988. [doi]

An Efficient Multiple Access Protocol for Integrated Small Earth Stations NetworksAdam Livine. iccc 1986: 708-711

A More Efficient Cryptographic Matchmaking Protocol for Use in the Absence of a Continuously Available Third PartyCatherine Meadows. sp 1986: 134-137

Modified D-Time Petri Nets, Timeouts, and Modelling of Communication ProtocolsWlodzimierz M. Zuberek. icdcs 1986: 452-457

Multiple-Access Protocols and Time-Constrained CommunicationJames F. Kurose, Mischa Schwartz, Yechiam Yemini. ACM Comput. Surv., 16(1):43-70, 1984.

Pretested Random Tree Protocol for Packet Conflict ResolutionTIT, 29(6):910-913, 1983.

A Key Distribution Protocol Using Event MarkersR. Kenneth Bauer, Thomas A. Berson, Richard J. Feiertag. tocs, 1(3):249-255, 1983. [doi]

On the Construction of Submodule Specifications and Communication ProtocolsPhilip M. Merlin, Gregor von Bochmann. TOPLAS, 5(1):1-25, 1983. [doi]

Measurements of the Transmission Control ProtocolChristopher J. Bennett, Andrew J. Hinchley. cn, 2:396-408, 1978.

runs on WebDSL