支持冲突检测的P3P形式化语义研究

来源 :计算机科学与探索 | 被引量 : 0次 | 上传用户:cgy1922
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
隐私偏好平台(platform for privacy preferences,P3P)是现今世界上广泛使用的隐私策略语言之一,服务提供者通过P3P隐私策略来告知用户如何处理隐私信息。针对P3P隐私策略缺少形式化语义而难以被精确表达的问题,分析了P3P隐私策略对形式化语义的需求以及P3P隐私策略中存在的语义冲突,提出了一种支持冲突检测的data.recipient结构的P3P形式化语义,并用OWL(Wlebontologylanguage)本体对该语义进行了描述,阐述了语义冲突的检测方法,并通过实验验证了
其他文献
通过一个适当的归约变换,可以将一个CNF(conjunctive normal form)公式变换为另一个具有某种特殊结构或性质的公式,使两者具有相同的可满足性。带有正则结构的CNF公式的因子图在
分子动力学模拟是随着计算机技术发展而兴起的一种科学计算方法,在基于事件驱动的椭球分子动力学模拟中碰撞检测是一个核心计算问题。为提高基于事件驱动的分子动力学模拟的效
中国现代文学史的写作已经开始入史,但中国现代文学治史者仍有许多困惑,诸如研究对象的称谓——概念问题、研究单元的界定——分期问题、研究对象的性质——现代性问题等,至今无
日本王子制纸(Oji Holdings)近日称将在Yonago工厂中进行溶解浆的生产,该工厂还会继续生产纸浆。近期,Yonago工厂建立了相关的技术装备,以溶解浆生产过程中提取出的半纤维素为
据《江门日报》报道 4月2i日,通过环保部审核,维达纸业(中国)有限公司江门分公司成为广东省首家获得“国版”排污许可证的企业。在江门市首张国家排污许可证核发暨媒体通报会上,江
据智通财经报道理文造纸主席李文俊于股东会后表示,市场对公司宣扬环保概念的原色纸产品的接受程度高,现在生产量不及需求量,因此公司会有五至六成产能做原色纸。李文俊又指出,卫
近日,山东省知识产权局公示了2015年第二批山东省知识产权示范企业名单,齐峰新材料股份有限公司凭借雄厚的技术研发实力获此殊荣。
作为造纸行业技术领导者,福伊特一直致力于提高筛选效率,降低系统能耗。在过去两年多的时间里,福伊特成功改造了多个分级筛系统,为中国客户节省了生产成本,同时提高了系统运行效率
5月31日,广东省东莞市中堂镇中联纸业有限公司发生火灾。起火建筑为中联纸业有限公司的造纸车间,着火部分为烘干部,烧毁的是烘干部部分线路、厂房屋顶隔热层,无人员伤亡。