期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于控制流的Mobile Safe Ambients演算的静态分析策略

Static Analysis Scheme for Mobile Safe Ambients Based on Control Flow
下载PDF
导出
摘要 在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变.该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性. On the basis of the abstract representation of the process of Mobile Safe Ambients, an approximation of the topology of all dynamic processes is computed by exploring the activated movement abilities and communication abilities. Otherwise, the control flow estimate makes no difference among processes which are congruent under α-conversion by labeling restricted names and variables with stable names in the syntax of Mobile Safe Ambients. The schema can be exploited to investigate and validate the dynamic behavior and properties of the distributed and mobile systems specified in Mobile Safe Ambients.
作者 张红 刘磊
机构地区 吉林大学计算机科学与技术学院
出处 《吉林大学学报（理学版）》 CAS CSCD 北大核心 2008年第4期704-710,共7页 Journal of Jilin University:Science Edition
基金 教育部博士学科点专项科研基金(批准号:20060183044) 吉林省科技发展计划项目基金(批准号:20050527)
关键词 MOBILE SAFE Ambients演算 控制流分析 静态分析 Mobile Safe Ambients calculus control flow analysis static analysis
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献11

  • 1Levi F, Sangiorgi D. Controlling Interference in Ambients [ C ]//Annual Symposium on Principles of Programming Languages. New York: ACM Press, 2000: 352-364.
  • 2Milner R. Communicating and Mobile Systems: the π-Calculus [ M ]. Cambridge: Cambridge University Press, 1999.
  • 3Cardelli L, Gordon A D. Mobile Ambients [ C ]//Proceedings of the First International Conference on Foundations of Software Science and Computation Structure. Heidelberg: Springer-Verlag, 1998: 140-155.
  • 4Nielson F, Nielson H R, Hansen R R, et al. Validating Firewalls Using Flow Logics [ J ]. Theoretical Computer Science, 2002, 283(2): 381-418.
  • 5Nielson F, Hansen R R, Nielson H R. Abstract Interpretation of Mobile [ J]. Science of Computer Programming, 2003, 47(2) : 145-175.
  • 6Nielson H R, Nielson F. Shape Analysis for Mobile Ambients[J]. Nordic Journal of Computing, 2001, 8(2): 233-275.
  • 7Bodei C, Degano P, Nielson F, et al. Static Analysis for the π-Calculus with Applications to Security [ J ]. Information and Computation, 2001, 168: 68-92.
  • 8Levi F, Bodei C. A Control Flow Analysis for Safe and Boxed Ambients [ C ]//Programming Languages and Systems: Proceedings of the 13th European Symposium on Programming. Heidelberg : Springer-Verlag, 2004 : 188-203.
  • 9Nielson F, Nielson H R, Priami C, et al. Control Flow Analysis for Bio-Ambients [ J ]. Electronic Notes in Theoretical Computer Science, 2007, 180(3) : 65-79.
  • 10Degano P, Levi F, Bodei C. Safe Ambients: Control Flow Analysis and Security [ C]//Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science. Heidelberg: Springer-Verlag, 2000: 199-214.
吉林大学学报（理学版）
2008年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部