ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

A Calculus for Access Control in Distributed Systems

หน่วยงาน Edinburgh Research Archive, United Kingdom

รายละเอียด

ชื่อเรื่อง : A Calculus for Access Control in Distributed Systems
นักวิจัย : Abadi, Martin , Burrows, Michael , Lampson, Butler , Plotkin, Gordon
คำค้น : cryptography , cryptographic protocols , Laboratory for Foundations of Computer Science
หน่วยงาน : Edinburgh Research Archive, United Kingdom
ผู้ร่วมงาน : -
ปีพิมพ์ : 2536
อ้างอิง : ACM Transactions on Programming Languages and Systems, Vol. 15, No. 3, September 1993. , http://hdl.handle.net/1842/207
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

We study some of the concepts, protocols, and algorithms for access control in distributed systems, from a logical perspective. We account for how a principal may come to believe that another principal is making a request, either on his own or on someone else’s behalf. We also provide a logical language for access control lists and theories for deciding whether requests should be granted.

บรรณานุกรม :
Abadi, Martin , Burrows, Michael , Lampson, Butler , Plotkin, Gordon . (2536). A Calculus for Access Control in Distributed Systems.
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Abadi, Martin , Burrows, Michael , Lampson, Butler , Plotkin, Gordon . 2536. "A Calculus for Access Control in Distributed Systems".
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Abadi, Martin , Burrows, Michael , Lampson, Butler , Plotkin, Gordon . "A Calculus for Access Control in Distributed Systems."
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2536. Print.
Abadi, Martin , Burrows, Michael , Lampson, Butler , Plotkin, Gordon . A Calculus for Access Control in Distributed Systems. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2536.