David M. Kristol

17 papers A* 2B 2Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2001 J jnl
HTTP Cookies: Standards, Privacy, and Politics
CoRR
David M. Kristol
2001 J jnl
HTTP Cookies: Standards, privacy, and politics.
ACM Trans. Internet Techn.
David M. Kristol
2000 J jnl
HTTP State Management Mechanism.
RFC
David M. Kristol, Lou Montulli
1999 — conf
A User's and Programmer's View of the New JavaScript Security Model.
USENIX Symposium on Internet Technologies and Systems
Vinod Anupam, David M. Kristol, Alain J. Mayer
1999 J jnl
Consistent, Yet Anonymous, Web Access with LPWA.
Commun. ACM
Eran Gabber, Phillip B. Gibbons, David M. Kristol, Yossi Matias, Alain J. Mayer
1999 J jnl
Key Differences Between HTTP/1.0 and HTTP/1.1.
Comput. Networks
Balachander Krishnamurthy, Jeffrey C. Mogul, David M. Kristol
1999 J jnl
On secure and pseudonymous client-relationships with multiple servers.
ACM Trans. Inf. Syst. Secur.
Eran Gabber, Phillip B. Gibbons, David M. Kristol, Yossi Matias, Alain J. Mayer
1999 J jnl
User-level billing and accounting in IP networks.
Bell Labs Tech. J.
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
1997 J jnl
HTTP State Management Mechanism.
RFC
David M. Kristol, Lou Montulli
1996 J jnl
Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach.
IEEE Trans. Commun.
David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul
1996 J jnl
SEPTEMBER - secure electronic publishing trial.
IEEE Commun. Mag.
Jack Brassil, Abhijit K. Choudhury, David M. Kristol, Aleta M. Lapone, Steven H. Low, Nicholas F. Maxemchuk, Lawrence O'Gorman
1996 J jnl
TeleWeb: Loosely Connected Access to the World Wide Web.
Comput. Networks
Bill N. Schilit, Fred Douglis, David M. Kristol, Paul Krzyzanowski, James Sienicki, John A. Trotter
1994 B conf
Multicast transport protocols for high speed networks.
ICNP
Sanjoy Paul, Krishan K. Sabnani, David M. Kristol
1993 J jnl
A polynomial algorithm for gateway generation from formal specifications.
IEEE/ACM Trans. Netw.
David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani
1993 A* conf
Conformance Testing of Protocols Specified as Communicating FSMs.
INFOCOM
David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar
1993 B conf
From formal specification to implementation: experience with protocol tools.
ICNP
Thomas J. Baumgartner, David M. Kristol, J. D. Milleville, Prashant S. Parikh
1991 A* conf
Efficient Gateway Synthesis from Formal Specifications.
SIGCOMM
David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani