|
СТ |
Authentication in Distributed Systems: Theory and Practice |
1991 |
Lampson B., Abadi M., Burrows M., Wobber E. |
|
|
|
Operating Systems Review |
19.12.1991 |
|
П |
Authentication and Delegation with Smart-cards |
1991 |
Abadi M., Burrows M., Kaufman C., Lampson B. |
|
|
|
|
07.02.1992 |
|
СТ |
At-Most-Once Message Delivery. A Case Study in Algorithm Verification |
1992 |
Lampson B., Lynch N., Sogaard-Andersen J. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
|
СТ |
On-line Data Compression in a Log-structured File System |
1992 |
Burrows M., Jerian C., Lampson B., Mann T. |
|
|
|
SIGPLAN Notices |
26.10.1992 |
|
П |
Autentication in Distributed Systems: Theory and Practice |
1992 |
Lampson B., Abadi M., Burrows M., Wobber E. |
|
|
Digital |
|
28.10.1992 |
|
СТ |
A Calculus for Access Control in Distributed Systems |
1993 |
Abadi M., Burrows M., Lampson B., Plotkin G. |
|
|
|
ACM Trans. Programming Languages and Systems |
25.11.1993 |
|
П |
Authentication in the Taos Operating System |
1993 |
Wobber E., Abadi M., Burrows M., Lampson B. |
|
|
Digital |
|
14.05.1994 |
|
СТ |
Analysis and Caching of Dependencies |
1996 |
Abadi M., Lampson B., Levy J. -J. |
|
|
|
SIGPLAN Notices |
11.09.1996 |
