Pankaj Kakkar

Publication Activity (10 Years)

Years Active: 1998-2003
Publications (10 Years): 0

Publications

Pankaj Kakkar, Carl A. Gunter, Martín Abadi
Reasoning About Secrecy for Active Networks. J. Comput. Secur. 11 (2) (2003)
Livio Ricciulli, Phillip A. Porras, Patrick Lincoln, Pankaj Kakkar, Steven Dawson
An Adaptable Network COntrol and Reporting System (ANCORS). DANCE (2002)
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
Reasoning about Secrecy for Active Networks. CSFW (2000)
Pankaj Kakkar, Michael McDougall, Carl A. Gunter, Trevor Jim
Certificate Distribution with Local Autonomy. IWAN (2000)
Pankaj Kakkar, Michael W. Hicks, Jonathan T. Moore, Carl A. Gunter
Specifying the PLAN Network Programming Langauge. Electron. Notes Theor. Comput. Sci. 26 (1999)
D. Scott Alexander, William Arbaugh, Michael Hicks, Pankaj Kakkar, Angelos Dennis Keromytis, Jonathan T. Moore, Carl A. Gunter, Scott Nettles, Jonathan M. Smith
The SwitchWare active network architecture. IEEE Netw. 12 (3) (1998)
Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles
PLAN: A Packet Language for Active Networks. ICFP (1998)
Michael W. Hicks, Pankaj Kakkar, Jonathan T. Moore, Carl A. Gunter, Scott Nettles
Network Programming Using PLAN. ICCL Workshop: Internet Programming Languages (1998)