|
СТ |
Authentication primitives for secure protocol specifications |
2005 |
Bodei C., Degano P., Focardi R., Priami C. |
|
|
|
FGCS |
04.06.2005 |
|
СТ |
Flow Logic for Dolev-Yao Secrecy in Cryptographic Processes |
2002 |
Bodei C., Degano P., Nielson F., Nielson H. R. |
|
|
|
FGCS |
23.07.2002 |
|
СТ |
Static Analysis of Processes for No Read-Up and No Write-Down |
1999 |
Bodei C., Degano P., Nielson F., Nielson H. R. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
СТ |
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation |
1998 |
Bodei C., Degano P., Priami C. |
|
|
|
Lecture Notes in Computer Science |
01.10.1998 |
|
СТ |
True Concurrency via Abstract Interpretation |
1997 |
Bodei C., Priami C. |
|
|
|
Lecture Notes in Computer Science |
20.09.1997 |
