摘要：将用户同意与访问控制相结合是解决隐私保护的主要方法之一.然而,现有的隐私保护访问控制方法仅从数据控制者的角度,不考虑个人对访问决策的参与,无法满足自主可控的需求.为了解决这个问题,本文提出了一种基于用户同意的隐私保护访问控制协议,将用户同意转化为一种同意权限,形成一种同意加授权的双重访问控制机制.本文给出协议的语法、语义及安全性定义和分析,并采用模型检测的方法对协议应满足的性质进行验证,最终证明本文的设计可以从访问控制的角度满足个人信息保护法规的要求.

摘要：本文利用软件工程的思想分析了一个图书馆藏书系统的主要开发流程。

摘要：针对现有软件体系结构演化研究很少考虑构件可信属性及其表达的问题,提出类E-R图方法,描述考虑构件可信属性的软件体系结构及其演化过程。给出具有可信属性的软件体系结构(SA-T)概念,引入类E-R图表示SA-T,得到SA-T图,通过关系逻辑形式化描述SA-T图;利用类E-R图描述方法表达构件和连接件的增加、删除、替换演化操作;通过一个电子商务系统软件体系结构演化实例,进一步论述SA-T演化的类E-R图描述方法。该方法对软件可信演化研究具有一定意义。