冯扬悦
- 作品数：5 被引量：12H指数：2
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种移动agent系统的双层容错机制初探
- 移动agent技术是随着Internet的发展而出现的一种新型网络计算模式,得到了学术界和工业界的广泛重视.可靠性对提高移动agent系统的实用化程度意义重大.本文提出了一种双层容错思想,即从移动agent平台和移动ag...
- 冯扬悦张冠群陶先平吕建
- 关键词：移动AGENT容错事务
- 文献传递
- PCC技术在移动Agent系统安全中的应用初探被引量：5
- 2002年
- 1 引言移动代码指可以在一台或多台远程主机上而不仅限于在源主机上运行的程序。从Java applet、ActiveX程序直至90年代中期提出的移动Agent技术均属于这一范畴。其思想是化远程调用为本地执行,从而具有减少网络负载、避免网络延时、动态适应、异步自主执行、支持异构体系、健壮性和容错性等优点。可以说,代码的可移动性是对传统非分布环境中可编程性的很大扩展。然而,高效与灵活的增长并非不无代价:分布式环境中代码的移动使安全威胁增多,安全保护更为复杂,安全课题也更为重要。
- 冯扬悦陶先平吕建
- 关键词：移动AGENT系统PCC密码学移动代码
- 鲁棒环境演算类型演化系统的扩充(英文)被引量：2
- 2004年
- 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行。在[2]的基础上,进一步讨论了此问题。通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中。证明了类型系统的正确性。同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性。
- 陈韬略冯扬悦吕建韩婷婷
- 关键词：进程代数环境演算
- 一个软件服务协同中的信任管理框架设计被引量：5
- 2003年
- 1引言
目前,以Web服务为代表的软件服务及软件服务协同已成为一种新兴的Web应用形态.
- 徐锋曹春郑玮冯扬悦冯扬悦
- 关键词：信任管理INTERNET
- 移动Agent系统的安全性与可靠性关键技术研究
- 移动Agent计算是一种新型的网络计算方式，移动Agent是一个运行于开放、动态网络环境中的封装的计算实体，它代表用户自主地在网络上移动，完成指定的任务，可以降低网络负载，较好适应异构环境。然而，要使Agent技术能够在...
- 冯扬悦
- 关键词：AGENT系统网络计算异构环境
