David M. Kristol

According to our database, David M. Kristol authored at least 15 papers between 1991 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2001

HTTP Cookies: Standards, privacy, and politics.

David M. Kristol

ACM Trans. Internet Techn., 2001

1999

On secure and pseudonymous client-relationships with multiple servers.

Eran Gabber, Phillip B. Gibbons, David M. Kristol, Yossi Matias, Alain J. Mayer

ACM Trans. Inf. Syst. Secur., 1999

Key Differences Between HTTP/1.0 and HTTP/1.1.

Balachander Krishnamurthy, Jeffrey C. Mogul, David M. Kristol

Comput. Networks, 1999

Consistent, Yet Anonymous, Web Access with LPWA.

Eran Gabber, Phillip B. Gibbons, David M. Kristol, Yossi Matias, Alain J. Mayer

Commun. ACM, 1999

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

Bell Labs Tech. J., 1999

A User's and Programmer's View of the New JavaScript Security Model.

Vinod Anupam, David M. Kristol, Alain J. Mayer

Proceedings of the 2nd USENIX Symposium on Internet Technologies and Systems, 1999

1997

HTTP State Management Mechanism.

David M. Kristol, Lou Montulli

RFC, February, 1997

1996

Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach.

David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul

IEEE Trans. Commun., 1996

TeleWeb: Loosely Connected Access to the World Wide Web.

Bill N. Schilit, Fred Douglis, David M. Kristol, Paul Krzyzanowski, James Sienicki, John A. Trotter

Comput. Networks, 1996

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

IEEE Commun. Mag., 1996

1994

Multicast transport protocols for high speed networks.

Sanjoy Paul, Krishan K. Sabnani, David M. Kristol

Proceedings of the 1994 International Conference on Network Protocols, 1994

1993

A polynomial algorithm for gateway generation from formal specifications.

David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani

IEEE/ACM Trans. Netw., 1993

Conformance Testing of Protocols Specified as Communicating FSMs.

David Lee, Krishan K. Sabnani, David M. Kristol, Sanjoy Paul, M. Ümit Uyar

Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993

From formal specification to implementation: experience with protocol tools.

Thomas J. Baumgartner, David M. Kristol, J. D. Milleville, Prashant S. Parikh

Proceedings of the 1993 International Conference on Network Protocols, 1993

1991

Efficient Gateway Synthesis from Formal Specifications.

David M. Kristol, David Lee, Arun N. Netravali, Krishan K. Sabnani

Proceedings of the Conference on Communications Architecture & Protocols, 1991