应一舟
- 作品数:3 被引量:3H指数:1
- 供职机构:解放军信息工程大学电子技术学院更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于XML的UML时序图向Petri网的转换被引量:2
- 2009年
- 针对统一建模语言(UML)时序图与Petri网间转换的问题,提出基于消息的UML时序图向Petri网转换的映射算法。以XMI,XPDL,XSLT为核心,建立基于可扩展标记语言(XML)的实现该映射算法的3层转换方案。结合XML应用环境要求,建立映射处理流程,并通过实例对方案可行性进行了验证。
- 应一舟叶丽君郭义喜
- 关键词:可扩展标记语言统一建模语言PETRI网
- 基于信任的普适计算隐私保护方法被引量:1
- 2010年
- 普适计算访问控制中对敏感信息的交换,会给恶意的交互对方提供盗取隐私信息的机会。针对该问题,提出一种基于信任的普适计算隐私保护方法,通过对用户属性进行分级,运算获取资源提供方的信任值并划分其安全等级,对高于安全等级的属性利用秘密比较协议进行加密验证。结果表明,该方法能保护用户的隐私属性,根据属性敏感程度的不同有选择性地进行加密,降低计算复杂度,适应普适计算中能力限制的设备。
- 辛艳罗长远霍士伟应一舟
- 关键词:普适计算隐私保护信任
- 装备论证仿真概念模型描述形式转换方法研究
- 装备论证仿真是我军建模与仿真的三个主要应用领域之一,其概念模型也是军事概念模型的重要组成,已成为军事建模与仿真研究的热点。装备论证仿真概念建模过程中涉及的描述形式多种多样,不同的描述形式影响着概念建模和验模的效果。研究不...
- 应一舟
- 关键词:仿真概念模型XML
- 文献传递