Amir Pnueli - 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]

Invisible Safety of Distributed ProtocolsIttai Balaban, Amir Pnueli, Lenore D. Zuck. icalp 2006: 528-539 [doi]

PPINA - A Forensic Investigation Protocol for Privacy Enhancing TechnologiesGiannakis Antoniou, Campbell Wilson, Dimitris Geneiatakis. cmsb 2006: 185-195 [doi]

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

Secure authentication scheme for session initiation protocolChou Chen Yang, Ren-Chiun Wang, Wei-Ting Liu. compsec, 24(5):381-386, 2005. [doi]

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]

A Comparison of TCP-Friendly Congestion Control ProtocolsSurekha Biyani, James Martin. icccn 2004: 255-260

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.

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) ProtocolMuffy Calder, Alice Miller. fac, 14(3):247-266, 2003. [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]

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.

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]

A Logical Framework for Distributed Systems and Communication ProtocolsJosé Meseguer. forte 1998: 327-333

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]

On the Arrival Theorem for Queueing Networks Operating Under a Just-in-Time ProtocolRichard J. Boucherie. pe, 34(2):109-121, 1998.

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]

Analyzing and Improving the IEEE 802.11-MAC Protocol for Wireless LANsJost Weinmiller, Hagen Woesner, Adam Wolisz. mascots 1996: 200-206

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.

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

Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow, The Art of the Metaobject ProtocolRichard P. Gabriel. ai, 61(2):331-342, 1993.

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

Stabilizing Communication ProtocolsMohamed G. Gouda, Nicholas J. Multari. TC, 40(4):448-458, 1991.

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]

Verification of Multiprocess Probabilistic ProtocolsAmir Pnueli, Lenore D. Zuck. dc, 1(1):53-72, 1986.

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

Verification of Multiprocess Probabilistic ProtocolsAmir Pnueli, Lenore D. Zuck. podc 1984: 12-27

Temporal Verification of Carrier-Sense Local Area Network ProtocolsDennis Shasha, Amir Pnueli, W. Ewald. POPL 1984: 54-65

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]

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

runs on WebDSL