姚松涛
- 作品数：9 被引量：30H指数：3
- 供职机构：华南理工大学计算机科学与工程学院更多>>
- 发文基金：国家重点基础研究发展计划广州市科委科技攻关项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 用设计模式表示面向对象软件体系的结构被引量：8
- 2003年
- 针对当前软件体系结构描述语言和工具普遍存在的通用性较差 ,对软件系统运行时的动态特性描述能力不足的缺陷 ,提出使用设计模式来表示软件系统的体系结构 ,并提出了体系结构模式和风格概念 ,通过实际例子验证了设计模式表示体系结构的可行性 。
- 姚松涛郭荷清王涛
- 关键词：面向对象设计模式软件体系结构
- 一个基于模态逻辑的安全协议度量方法被引量：2
- 2004年
- 为将量化分析方法引入安全协议分析中 ,以模态逻辑方法为基础定义了协议度量方法 ,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法 ,同时在此基础上 ,进一步地给出了对安全协议冗余进行度量及化简的方法 .应用该方法对实例协议进行分析 ,直接描述各协议内容的贡献度 ,显示冗余内容对目标实现的无效作用 ,从而可以安全化简 .量化分析在安全协议形式化分析中的应用是本方法的主要特点 ,它具有模态逻辑方法的优点及缺陷 .
- 王涛郭荷清姚松涛
- 关键词：安全协议模态逻辑
- 用统一建模语言描述基于构件的系统被引量：11
- 2002年
- 通常基于构件的系统和CORBA ,ActiveX/COM/DCOM ,JavaBeans等具体的技术相紧密结合。提出一种用对象建模语言描述构件及其接口的表示方法 ,这种构件的表示方法能用现有技术实现 ,而又不依赖于某种特定技术的方法和开发工具。先给出构件、接口和基于构件开发的概念 ,然后介绍统一建模语言对构件及其接口的建模和构造原则 ,以及用统一建模语言描述基于构件的系统的方法。
- 姚松涛郭荷清
- 关键词：统一建模语言接口软件开发
- 安全微支付技术应用于分布式系统安全审计的研究被引量：1
- 2005年
- 为更安全和高效地在分布式计算环境中进行安全审计,将安全微支付技术引入安全审计的实现。对现有的安全微支付方案在交互步骤和消息内容上进行一定的修改,使之可以适应安全审计的效率要求,同时提高安全审计的安全性。经理论分析,说明了这一方法的安全性、易操作性和实现中的效率配置问题。这证明了安全微支付技术在安全审计中应用的合理性。这种应用同时带来了一些附加安全功能(如单点登录)的可能实现途径,也是下一步研究的一个课题。
- 王涛郭荷清姚松涛
- 关键词：微支付安全审计分布式信息系统
- 采用CORBA设计同步协作群件模型的研究
- 该毕业设计针对当前传统群件技术不能满足Internet的低带宽的要求,从而使同步协作的群件发展较慢的现状.尝试将分布式面向对象技术和Java技术用于同步协作群件的开发.该同步协作群件模型涵盖了群件应用系统多个方面的内容,...
- 姚松涛
- 关键词：群件资源分配
- 文献传递
- 基于综合安全保护质量的安全服务协商模型被引量：1
- 2006年
- 在基于分布式服务的系统体系中,上层应用系统需要确定下层安全服务能够按照要求提供安全服务功能,根据不断变化的实际需要和当前系统状态自适应地调整服务者和服务要求,并同时保障系统的安全性。本文探讨了在应用系统和安全服务之间对安全保护质量进行协商的协议模型,目标是使应用系统所要求达到的安全水平能获得安全服务的支持,并能得到下层安全服务的有效遵守,使系统的整体安全水平得到保障。
- 王涛郭荷清姚松涛
- 关键词：协商协议
- 自适应软件系统集成体系结构的研究
- 随着大规模分布式软件系统的广泛应用,原有应用系统必须有效地集成到统一的企业级应用环境中,实现业务和数据的共享.应用软件系统集成的主要问题是用于集成处理的业务流程通常直接集成到主控集成应用系统的业务逻辑中,集成的主要方法是...
- 姚松涛
- 关键词：自适应集成应用系统中间件服务器编程接口业务处理流程
- 文献传递
- 一个安全协议度量方法及其应用被引量：1
- 2005年
- 简要说明了对安全协议进行协议度量和冗余度量的一个基于模态逻辑方法,形式化地给出了协议对安全目标满足度的度量方法定义, 并讨论了相应的协议冗余分析和化简方法。给出了对安全协议的内容进行逻辑比较的准则,结合实例分析了两个协议之间的逻辑包含关系。讨论结合逆向推理的两个应用:对基于模态逻辑的协议分析中隐含假设的分析方法,协议设计和生成方法。
- 王涛郭荷清姚松涛
- 关键词：安全协议冗余度满足度模态逻辑法定
- 串空间方法分析协议公平性的研究被引量：7
- 2004年
- 探讨了将串空间模型应用于描述安全协议公平性的方法,并提出串空间模型描述公平协议的一些问题。分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;描述协议执行过程中角色动态分配的扩展;描述协议步骤同步执行的扩展。应用扩展后的串空间模型对KM协议进行了形式化描述。
- 王涛郭荷清姚松涛
- 关键词：安全协议串空间形式化描述
