 | 2003 |
|---|
| 7 |       | Pankaj Kakkar,
Carl A. Gunter,
Martín Abadi:
Reasoning About Secrecy for Active Networks.
Journal of Computer Security 11(2): 245-287 (2003) |
| 2002 |
|---|
| 6 |  | Livio Ricciulli,
Phillip A. Porras,
Patrick Lincoln,
Pankaj Kakkar,
Steven Dawson:
An Adaptable Network COntrol and Reporting System (ANCORS).
DANCE 2002: 466-483 |
| 2000 |
|---|
| 5 | | Pankaj Kakkar,
Carl A. Gunter,
Martín Abadi:
Reasoning about Secrecy for Active Networks.
CSFW 2000: 118-129 |
| 4 | | Pankaj Kakkar,
Michael McDougall,
Carl A. Gunter,
Trevor Jim:
Certificate Distribution with Local Autonomy.
IWAN 2000: 277-295 |
| 1999 |
|---|
| 3 | | Pankaj Kakkar,
Michael W. Hicks,
Jonathan T. Moore,
Carl A. Gunter:
Specifying the PLAN Network Programming Langauge.
Electr. Notes Theor. Comput. Sci. 26: (1999) |
| 1998 |
|---|
| 2 | | Michael W. Hicks,
Pankaj Kakkar,
Jonathan T. Moore,
Carl A. Gunter,
Scott Nettles:
Network Programming Using PLAN.
ICCL Workshop: Internet Programming Languages 1998: 127-143 |
| 1 | | Michael W. Hicks,
Pankaj Kakkar,
Jonathan T. Moore,
Carl A. Gunter,
Scott Nettles:
PLAN: A Packet Language for Active Networks.
ICFP 1998: 86-93 |
