Barthe, Gilles; Gurov, Dilian; Huisman, Marieke (2002). Compositional Verification of Secure Applet Interactions. Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science. Т. 2306. с. 15—32. CiteSeerX10.1.1.16.1254. doi:10.1007/3-540-45923-5_2. ISBN978-3-540-43353-8.
Hassler, Vesna; Then, Oliver (1998). Controlling Applets' Behavior in a Browser. Proceedings 14th Annual Computer Security Applications Conference (Cat. No.98EX217). с. 120—125. doi:10.1109/CSAC.1998.738594. ISBN978-0-8186-8789-1.
Hassler, Vesna; Then, Oliver (1998). Controlling Applets' Behavior in a Browser. Proceedings 14th Annual Computer Security Applications Conference (Cat. No.98EX217). с. 120—125. doi:10.1109/CSAC.1998.738594. ISBN978-0-8186-8789-1.
ietf.org
tools.ietf.org
Jeff Rulifson (2 червня 1969), DEL, RFC 5, Network Working Group
RFC Editor, et a. (7 квітня 1999), 30 Years of RFCs, RFC 2555, Network Working Group
Barthe, Gilles; Gurov, Dilian; Huisman, Marieke (2002). Compositional Verification of Secure Applet Interactions. Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science. Т. 2306. с. 15—32. CiteSeerX10.1.1.16.1254. doi:10.1007/3-540-45923-5_2. ISBN978-3-540-43353-8.