共 1 条
[1]
A CALCULUS FOR ACCESS-CONTROL IN DISTRIBUTED SYSTEMS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1993, 15 (04)
:706-734