| ชื่อเรื่อง | : | 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.
|
