-
题名容错的网络声明式程序
- 1
-
-
作者
汪芳
Stephane GRUMBACH
-
机构
中国联合网络通信集团有限公司研究院
中国科学院软件研究所计算机科学国家重点实验室
中国科学院研究生院
Institut National de Recherche en Informatique et en Automatique
-
出处
《软件学报》
EI
CSCD
北大核心
2012年第8期1992-2001,共10页
-
基金
国家自然科学基金(60833001)
French Agence Nationale de la Recherche(ANR-09-BLAN-0131-01)
-
文摘
介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.
-
关键词
网络编程抽象
声明式语言
语法
语义
容错性
-
Keywords
network programming abstraction
declarative language
syntax
semantics
fault tolerance
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名云计算中隐私需求的建模与一致性检测
被引量：3
- 2
-
-
作者
王进
黄志球
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2015年第10期2395-2410,共16页
-
基金
国家自然科学基金项目(61272083
61262002)
+1 种基金
江苏省普通高校研究生科研创新计划项目(CXZZ11_0218)
南京航空航天大学基本科研业务费专项青年科技创新基金项目(NS2012129)
-
文摘
云计算中应用分层、服务外包以及数据的分布存储等特性引发了隐私保护的新挑战.如何刻画不同服务提供者的隐私需求,并保证不同参与方隐私需求在全局应用上一致无冲突是云计算隐私保护的一个核心问题.在对隐私需求的分类和建模目标系统分析后,提出了一种综合考虑了数据、角色和目的的层次结构,并支持时序约束表达的声明式隐私需求描述语言DPPL.为验证不同隐私需求间的一致性,给出了该语言的形式化语义及对应的形式化建模算法.考虑到传统形式化验证由于空间爆炸而带来的实用性限制,进一步结合隐私活动的特征提出了隐私需求模型的约简方法.最后,通过实例分析和原型工具检验了所提出方法的可行性,并对于该方法目前尚存在的限制和未来工作进行了讨论.
-
关键词
云计算
隐私需求
形式化模型
需求约简
声明式语言
-
Keywords
cloud computing
privacy requirement
formal model
requirement reduction
declarative language
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
