|
СТ |
A Semantics for Web Services Authentication |
2004 |
Bhargavan K., Fournet C., Gordon A. D. |
|
|
|
POPL 2004 |
09.06.2004 |
|
СТ |
A Bisimulation Method for Cryptographic Protocols |
1998 |
Abadi M., Gordon A. D. |
|
|
|
Lecture Notes in Computer Science |
17.04.1998 |
|
П |
A Calculus for Cryptographic Protocols: The Spi Calculus |
1998 |
Abadi M., Gordon A. D. |
|
|
Digital |
Acta Informatica |
18.03.1998 |
|
СТ |
Compulation and Equivalence of Imperative Objects |
1997 |
Gordon A. D., Hankin P. D., Lassen S. B. |
|
|
|
Lecture Notes in Computer Science |
09.01.1998 |
|
СТ |
A Sound Metalogical Semantics for Input/Output Effects |
1995 |
Crole R. L., Gordon A. D. |
Lecture Notes in Computer Science |
|
|
Computer Science Logic |
24.09.1995 |
|
СТ |
A Mechanisation of Name-carrying Syntax up to Alpha-conversion |
1994 |
Gordon A. D. |
|
|
|
Lecture Notes in Computer Science |
21.06.1994 |
