登入選單

返回Google圖書搜尋

Processing Visual Specifications of File System Security

C. Allan Heydon

出版	School of Computer Science, Carnegie Mellon Univ., 1992
URL	http://books.google.com.hk/books?id=qn2yPgAACAAJ&hl=&source=gbs_api

註釋

Our thesis is that visual languages can be practical and useful, even on a large scale, if they are targeted to sufficiently restricted domains of interest. We focus on two different aspects of the security domain. First, we use the instance language to specify security configurations, that is, fixed access relationships between users and files on a file system. Since these specifications can be both read and written, they give users the ability to determine the access rights granted on their files and to modify those rights. Second, we use the constraint language to specify security policies, each of which determines a (possibly infinite) set of legal configurations.