cs-conference-ranking.org Search 971 venues

Jonathan K. Millen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

16

Venues

5

Active years

1974–2001

Best venue rank

A*

Where they publish

Papers

16 indexed papers, newest first.

Year	Venue	Title	Authors
2001	CCS	Constraint solving for bounded-process cryptographic protocol analysis.	Jonathan K. Millen, Vitaly Shmatikov
2000	CCS	Efficient fault-tolerant certificate revocation.	Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
2000	SP	Protocol-Independent Secrecy.	Jonathan K. Millen, Harald Rue
1999	SP	Local Reconfiguration Policies.	Jonathan K. Millen
1999	SP	20 Years of Covert Channel Modeling and Analysis.	Jonathan K. Millen
1996	NSPW	CAPSL: Common Authentication Protocol Specification Language.	Jonathan K. Millen
1995	SP	The Interrogator model.	Jonathan K. Millen
1992	SP	A resource allocation model for denial of service.	Jonathan K. Millen
1992	SP	Security for object-oriented database systems.	Jonathan K. Millen, Teresa F. Lunt
1987	SP	Covert Channel Capacity.	Jonathan K. Millen
1984	SP	The Interrogator: A Tool for Cryptographic Protocol Security.	Jonathan K. Millen
1983	SP	The Channel Assignment Problem.	Bahaa W. Fam, Jonathan K. Millen
1982	SP	Kernel Isolation for the PDP-11/70.	Jonathan K. Millen
1981	SP	Information Flow Analysis of Formal Specifications.	Jonathan K. Millen
1978	COMPSAC	Example of a formal flow violation.	Jonathan K. Millen
1974	STOC	Construction with Parallel Derivatives of the Closure of a Parallel Program Schema	Jonathan K. Millen