A Theory of Secure Mobile Computation with Confined Movement and Communication

来源 :中国通信 | 被引量 : 0次 | 上传用户:dfgforrest
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Safety and security is key aspect for successful application of the mobile computation.We introduce Confined-πcalculus to deal with secure movement and secure intercommunication of agents.Our system extends Nomadic-πwith objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels are used to uniquely identify the constraints on the mobility and communication of agents,so the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation.We give an operational semantics for the calculus,and develop a type system that enforces security properties called confined migration and confined communication. Safety and security is key aspect for successful application of the mobile computation. We introduce Confined-πcalculus to deal with secure movement and secure intercommunication of agents. Our system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels are used to uniquely identify the constraints on the mobility and communication of agents, so the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. give an operational semantics for the calculus, and develop a type system that enforces security properties called confined migration and confined communication.
其他文献
  本文详细介绍了高致病性猪繁殖与呼吸综合征活疫苗病毒含量测定能力比对实施的全过程,比较了参考值评价法和稳健统计技术在本次能力验证结果评价中的应用情况,为进一步有效
  猪瘟是一种非常重要的猪传染病,对养猪业危害极大。具有标记特性的新型猪瘟疫苗及相应的鉴别诊断方法将会对猪瘟的防控起到重要的作用。先前我们证实,构建的表达猪瘟病毒E2
会议
曾经在欧美、日本并在港台地区引发狂潮的兵人收藏近年来正在国内慢慢兴起。初次听说“兵人”这个词感到很新奇, 没想到如今的玩偶收藏也分得如此之细。虽然对国内很多人来说
  为研究鲁豫冀地区猪繁殖与呼吸综合征(PRRSV)的遗传变异特征,对2006—2011年分离于山东、河南、河北发病猪场的15株PRRSV分离株,分别采用RT-PCR扩增其GP5基因序列并克隆测
会议