Clik here to view.
Efficient Gateway Synthesis from Formal Specifications.
David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani: Efficient Gateway Synthesis from Formal Specifications. SIGCOMM 1991: 89-97
View ArticleClik here to view.
Conformance Testing of Protocols Specified as Communicating FSMs.
David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar: Conformance Testing of Protocols Specified as Communicating FSMs. INFOCOM 1993: 115-127
View ArticleClik here to view.
From formal specification to implementation: experience with protocol tools.
Thomas J. Baumgartner, David M. Kristol, J. D. Milleville, Prashant S. Parikh: From formal specification to implementation: experience with protocol tools. ICNP 1993: 280-288
View ArticleClik here to view.
A polynomial algorithm for gateway generation from formal specifications.
David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani: A polynomial algorithm for gateway generation from formal specifications. IEEE/ACM Trans. Netw. 1(2): 217-229 (1993)
View ArticleClik here to view.
Multicast transport protocols for high speed networks.
Sanjoy Paul, Krishan K. Sabnani, David M. Kristol: Multicast transport protocols for high speed networks. ICNP 1994: 4-14
View ArticleClik here to view.
Conformance testing of protocols specified as communicating finite state...
David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul: Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach. IEEE Trans. Commun....
View ArticleClik here to view.
TeleWeb: Loosely Connected Access to the World Wide Web.
Bill N. Schilit, Fred Douglis, David M. Kristol, Paul Krzyzanowski, James Sienicki, John A. Trotter: TeleWeb: Loosely Connected Access to the World Wide Web. Comput. Networks 28(7-11): 1431-1444 (1996)
View ArticleClik here to view.
SEPTEMBER - secure electronic publishing trial.
Jack Brassil, Abhijit K. Choudhury, David M. Kristol, Aleta M. Lapone, Steven H. Low, Nicholas F. Maxemchuk, Lawrence O'Gorman: SEPTEMBER - secure electronic publishing trial. IEEE Commun. Mag. 34(5):...
View ArticleClik here to view.
HTTP State Management Mechanism.
David M. Kristol, Lou Montulli: HTTP State Management Mechanism. RFC 2109: 1-21 (1997)
View ArticleClik here to view.
A User's and Programmer's View of the New JavaScript Security Model.
Vinod Anupam, David M. Kristol, Alain J. Mayer: A User's and Programmer's View of the New JavaScript Security Model. USENIX Symposium on Internet Technologies and Systems 1999
View ArticleClik here to view.
On secure and pseudonymous client-relationships with multiple servers.
Eran Gabber, Phillip B. Gibbons, David M. Kristol, Yossi Matias, Alain J. Mayer: On secure and pseudonymous client-relationships with multiple servers. ACM Trans. Inf. Syst. Secur. 2(4): 390-415 (1999)
View ArticleClik here to view.
Key Differences Between HTTP/1.0 and HTTP/1.1.
Balachander Krishnamurthy, Jeffrey C. Mogul, David M. Kristol: Key Differences Between HTTP/1.0 and HTTP/1.1. Comput. Networks 31(11-16): 1737-1751 (1999)
View ArticleClik here to view.
Consistent, Yet Anonymous, Web Access with LPWA.
Eran Gabber, Phillip B. Gibbons, David M. Kristol, Yossi Matias, Alain J. Mayer: Consistent, Yet Anonymous, Web Access with LPWA. Commun. ACM 42(2): 42-47 (1999)
View ArticleClik here to view.
User-level billing and accounting in IP networks.
Stephen Blott, Clifford E. Martin, Yuri Breitbart, José Carlos Brustoloni, Thomas R. Gramaglia, Henry F. Korth, David M. Kristol, Robert H. Liao, Eben Scanlon, Avi Silberschatz: User-level billing and...
View ArticleClik here to view.
HTTP State Management Mechanism.
David M. Kristol, Lou Montulli: HTTP State Management Mechanism. RFC 2965: 1-26 (2000)
View ArticleClik here to view.
HTTP Cookies: Standards, Privacy, and Politics.
David M. Kristol: HTTP Cookies: Standards, Privacy, and Politics. CoRR cs.SE/0105018 (2001)
View ArticleClik here to view.
HTTP Cookies: Standards, privacy, and politics.
David M. Kristol: HTTP Cookies: Standards, privacy, and politics. ACM Trans. Internet Techn. 1(2): 151-198 (2001)
View Article
