Follow
Butler Lampson
Butler Lampson
Technical Fellow, Microsoft Research
Verified email at lampsons.us - Homepage
Title
Cited by
Cited by
Year
A note on the confinement problem
BW Lampson
Communications of the ACM 16 (10), 613-615, 1973
21021973
Protection
BW Lampson
ACM SIGOPS Operating Systems Review 8 (1), 18-24, 1974
20931974
SPKI certificate theory
C Ellison, B Frantz, B Lampson, R Rivest, B Thomas, T Ylonen
12471999
Software version management system
EE Schmidt, BW Lampson
US Patent 4,558,413, 1985
12241985
Authentication in distributed systems: Theory and practice
B Lampson, M Abadi, M Burrows, E Wobber
ACM Transactions on Computer Systems (TOCS) 10 (4), 265-310, 1992
11391992
A calculus for access control in distributed systems
M Abadi, M Burrows, B Lampson, G Plotkin
ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 706-734, 1993
9321993
SDSI-a simple distributed security infrastructure
RL Rivest, B Lampson
Crypto, 1996
6931996
Digital rights management operating system
P England, JD DeTreville, BW Lampson
US Patent 6,330,670, 2001
6642001
IP lookups using multiway and multicolumn search
B Lampson, V Srinivasan, G Varghese
IEEE/ACM transactions on Networking 7 (3), 324-334, 1999
6171999
Loading and identifying a digital rights management operating system
P England, JD DeTreville, BW Lampson
US Patent 6,327,652, 2001
5552001
Access control subsystem and method for distributed computer system using locally cached authentication credentials
E Wobber, M Abadi, A Birrell, B Lampson
US Patent 5,235,642, 1993
5441993
Experience with processes and monitors in Mesa
BW Lampson, DD Redell
Communications of the ACM 23 (2), 105-117, 1980
5251980
Crash recovery in a distributed data storage system
B Lampson, HE Sturgis
4521979
Report on the programming language Euclid
BW Lampson, JJ Horning, RL London, JG Mitchell, GJ Popek
ACM Sigplan Notices 12 (2), 1-79, 1977
4451977
Atomic transactions
BW Lampson
Distributed Systems—Architecture and Implementation, 246-265, 1981
4251981
Distributed configuration profile for computing system
SP Miller, BW Lampson
US Patent 5,475,819, 1995
4101995
Authentication in the Taos operating system
E Wobber, M Abadi, M Burrows, B Lampson
ACM Transactions on Computer Systems (TOCS) 12 (1), 3-32, 1994
4101994
Hints for computer system design
BW Lampson
Proceedings of the ninth ACM symposium on Operating systems principles, 33-48, 1983
4021983
The Digital distributed system security architecture
M Gasser, A Goldstein, C Kaufman, B Lampson
12th National Computer Security Conference, 305-319, 1989
3841989
Method for delegating authorization from one entity to another through the use of session encryption keys
M Gasser, AC Goldstein, CW Kaufman, BW Lampson
US Patent 5,224,163, 1993
3751993
The system can't perform the operation now. Try again later.
Articles 1–20