Вы здесь

Lampson B.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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
СТ 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
СТ 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