C PaulsonLawrence

发表

Inductive analysis of the Internet protocol TLS

C PaulsonLawrence, 1999 .

The inductive approach to verifying cryptographic protocols

C PaulsonLawrence, 1998 .

Should your specification language be typed

LamportLeslie, C PaulsonLawrence, 1999 .

Mechanizing a theory of program composition for UNITY

C PaulsonLawrence, 2001 .

Set theory for verification. I

C PaulsonLawrence, 1993 .