Foundations of access control for secure storage.

机译：安全存储访问控制的基础。

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Over the years, formal techniques have played a significant role in the study of secure communication. Unfortunately, secure storage has received far less attention. In particular, the uses and consequences of dynamic access control for security in file systems, operating systems, and other distributed systems are seldom well-understood. In this dissertation, we develop and apply formal techniques to understand the foundations of access control for security in such systems. Our case studies include the security designs of some state-of-the-art storage systems and operating systems. Our techniques are derived from ideas in programming languages and logic.

机译：多年来，形式技术在安全通信的研究中发挥了重要作用。不幸的是，安全存储很少受到关注。特别是，很少有人很好地了解动态访问控制对文件系统，操作系统和其他分布式系统中的安全性的用途和后果。在本文中，我们开发并应用了形式化技术来理解此类系统中安全性访问控制的基础。我们的案例研究包括一些最先进的存储系统和操作系统的安全性设计。我们的技术源于编程语言和逻辑的思想。

著录项

作者
Chaudhuri, Avik.;
展开▼
作者单位

University of California, Santa Cruz.;

展开▼
授予单位 University of California, Santa Cruz.;
学科 Computer Science.
学位 Ph.D.
年度 2008
页码 256 p.
总页数 256
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Innovative dressing and securement of tunneled central venous access devices in pediatrics: a pilot randomized controlled trial [J] . Amanda J. Ullman, Tricia Kleidon, Victoria Gibson, BMC Cancer . 2017,第1期

机译：儿科隧道式中央静脉通路设备的创新性敷料和固定：一项试点随机对照试验
2. Central venous Access device SeCurement And Dressing Effectiveness for peripherally inserted central catheters in adult acute hospital patients (CASCADE): a pilot randomised controlled trial [J] . Raymond J. Chan, Sarah Northfield, Emily Larsen, Trials . 2017,第1期

机译：中央静脉通路设备对成人急性医院患者（CASCADE）周围插入的中央导管的安全性和敷料效果：一项随机对照试验
3. A 4-arm randomized controlled pilot trial of innovative solutions for jugular central venous access device securement in 221 cardiac surgical patients [J] . C.M. Rickard, M. Edwards, A.J. Spooner, Journal of critical care . 2017,第期

机译：221心脏手术患者颈静脉内静脉接入装置固化创新解决方案的4臂随机控制试验试验
4. Bridging functionality for medium access control sublayer-applied to distributed foundation wireless medium access control [C] . Ohsawa, T., Maguire, Personal, Indoor and Mobile Radio Communications, 1994. Wireless Networks - Catching the Mobile Future., 5th IEEE International Symposium on . 1994

机译：媒体访问控制子层的桥接功能-应用于分布式基础无线媒体访问控制
5. A framework for auditable, paper-equivalent electronic forms using data logging, secure access controls, and electronic certificates. [D] . Badia-Reyes, Rene D. 2007

机译：使用数据记录，安全访问控制和电子证书的可审核，等同于纸张的电子表格的框架。
6. Central venous Access device SeCurement And Dressing Effectiveness for peripherally inserted central catheters in adult acute hospital patients (CASCADE): a pilot randomised controlled trial [O] . Raymond J. Chan, Sarah Northfield, Emily Larsen, 2017

机译：成人急性医院患者（CASCADE）外周静脉插入中央导管的中央静脉通路设备的安全和敷料有效性：一项随机对照试验
7. Innovative dressing and securement of tunneled central venous access devices in pediatrics: a pilot randomized controlled trial [O] . Ullman Amanda, Kleidon Patricia, Gibson Victoria, 2017

机译：儿科隧道式中央静脉通路设备的创新性敷料和固定：一项试点随机对照试验
8. Secure Enterprise Access Control (SEAC) Role Based Access Control (RBAC) [R] . Fernandez, R. 2004

机译：安全企业访问控制（sEaC）基于角色的访问控制（RBaC）

Foundations of access control for secure storage.

摘要

著录项

相似文献

相关主题

期刊订阅