支持时间属性的隐私需求建模与一致性验证

来源 :计算机与现代化 | 被引量 : 0次 | 上传用户:money2468
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着互联网的迅速发展,个人隐私信息保护问题越来越受关注。如何刻画不同服务提供者的隐私需求,并保证不同参与方隐私需求在全局应用上一致无冲突是隐私保护的一个核心问题。本文提出一种支持时间属性的声明式的隐私需求描述语言。为了验证不同隐私需求间的一致性,给出到SCIFF框架中完整性约束的映射。最后通过在线购物服务场景进行实例分析,验证本文方法的可行性。
其他文献
随着新型城镇化进程的不断加快和社会人口老龄化的迅速发展,老年人作为社会的一个特殊群体,他们的生活保障成为不可忽视的社会问题,老有所养是构建和谐社会的必备条件,养老服务场
国防生是军队着眼未来战争需,依托地方高校培养的军队后备干部,是部队现代化建设的中流砥柱,国防生综合素质直接关系着国防和军队建设,良好的军人心理素质是国防生综合素质的重组
针对云存储数据的保密性与完整性问题,提出一种基于多混沌序列的加密与云存储持有性证明算法,该算法可对存储在云端数据进行加密的同时支持PDP校验。用户只需掌握一对由纯小
王安忆近几年的创作呈现出一种新变,小说不再致力于对人物深层自我进行挖掘与探究,反而有着扬弃自我的趋向,小说更多的是对物性、类性的描绘与辨析。这种重视物质性的创作意
目的观察五苓散联合重组人p53腺病毒注射液治疗恶性心包积液的临床疗效。方法选取2010年10月—2014年10月深圳市南山区人民医院肿瘤科收治的恶性心包积液患者60例(随访期间脱
目的分析研讨依达拉奉治疗急性期脑梗死疾病的有效性和安全性。方法 2015年9月—2017年2月期间四川省眉山市彭山区人民医院收治的80例急性期脑梗死患者,采用1∶1随机数字法分
【摘 要】在整个德育体系中,德育课占据基础地位。只有打牢德育课这一基础,才能取得事半功倍的德育效果。当前,随着信息技术的快速发展,教师应变革教育模式,摒弃“填鸭式”的教学方法,将网络与德育课这两者相结合起来,拉近教师与学生间的距离,构建和谐、平等的师生关系。  【关键词】信息技术;小学德育;新模式  一、巧妙借助信息技术,发挥学生的主动性  当前,信息技术环境下,教师应围绕着“学生”这主体,创设多
叶尔克西·胡尔曼别克是当代新疆文坛著名的哈萨克族作家。具有双语背景的作家叶尔克西,其散文创作呈现出浓郁的游牧文化特征。她的散文力图再现生活于草原之上、世代传统
公司治理与管理创新研究中心,前身为石河子大学经济研究院,2011年获批为新疆维吾尔自治区普通高等学校人文社会科学重点研究基地。该研究中心以公司治理为主线,开展基础性和
传统航空机电产品尤其是液压产品的装配工艺复杂,总装工艺流程长,生产过程控制困难,装配质量难以保证。利用数字化仿真技术实现模块化部件装配单元规划,有利于提升装配专业化