博士科研启动基金(B0626)
- 作品数：5 被引量：15H指数：3
- 相关作者：马炳先于代荣熊曾刚杨扬徐颖蕾更多>>
- 相关机构：济南大学北京科技大学山东财政学院更多>>
- 发文基金：博士科研启动基金国家杰出青年科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 动态描述逻辑动作系统的Petri网自动生成方法
- 2008年
- 动态描述逻辑的动作理论对动作的静态描述和动态执行提供了良好的基础和方法。作为对动态描述逻辑的扩充,可以利用Petri网对多个动态描述逻辑动作间的关系进行很好的描述和分析。具体讨论了动态描述逻辑动作系统对应的Petri网模型自动生成问题,利用领域本体对动态描述逻辑动作的条件进行本体定义,通过本体推理,得到不同动作间的条件定义中的相同或等价元素,进一步,自动构造得到动作系统的Petri网的PNML+OWL描述。
- 马炳先于代荣陈宇
- 关键词：PETRI网PNMLOWL
- 基于分层身份的电子政务网格认证模型研究被引量：2
- 2008年
- 在网格环境中,PKI公钥管理方式对GSI认证效率产生一定的制约,而基于IBC的认证机制轻量、高效,密钥管理较为简便,改进了TLS握手协议,在此基础上提出一种适用于电子政务网格的基于HIBC的认证模型HIAM(Hierarchical ID-based Authentication Model),该模型克服了基于PKI的证书认证机制效率方面的缺点,通过与GSI的结合,重用GSI提供的安全服务,同时便于部署。
- 于代荣杨扬马炳先熊曾刚曾明
- 关键词：SECURITY
- OWL-S服务操作语义的Petri网描述新方法被引量：4
- 2007年
- 提出对基于OWL-S描述的语义Web服务操作语义的Petri网描述新方法。选择动态描述逻辑的动作理论作为语义Web服务描述的逻辑基础,一个OWL-S原子进程可以作为一个动态描述逻辑动作进行描述,实现了对OWL-S原子进程的动态执行和相关执行条件静态逻辑推理的有机结合,进一步通过将Petri网与动态描述逻辑的动作理论结合,得到OWL-S进程(尤其复合进程)操作语义的Petri网描述,为组合语义Web服务的自动组合和动态性质分析提供了更为有效的逻辑依据和方法。
- 马炳先杜玉越
- 关键词：OWL-S操作语义动态描述逻辑PETRI网
- 动态描述逻辑动作间关系的Petri网分析方法研究被引量：6
- 2007年
- 针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足,提出对多个动态描述逻辑动作间关系描述和分析的Petri网方法.首先讨论了动态描述逻辑动作的等价Petri网描述,进一步通过对动作描述的推理和各个动作的Petri网共享合成操作,得到多个动态描述逻辑动作的Petri网系统.在此基础上,应用Petri网的相关理论与方法,如可达图分析方法,研究了多个动态描述逻辑动作间关系的分析与判定方法,对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.
- 马炳先徐颖蕾
- 关键词：描述逻辑动态描述逻辑PETRI网
- 基于身份的网格安全体系结构研究被引量：3
- 2009年
- 为了克服PKI证书机制对GSI规模化发展的制约,在分析GSI中证书机制局限性的基础上,将HIBC引入到GSI中,使用HIBC签名方案代替GSI中的PKI数字签名并进行扩展,提出一种基于身份的网格安全体系结构IBGSI(ID-based GSI),进而给出了结合HIBC方案改进TLS握手协议的方法,并通过一组协议控制下的实体交互过程定义IBGSI的协议结构。从分层身份结构、认证结构和协议结构三个方面对IBGSI进行了研究,研究结果表明IBGSI融合了GSI与IBC的优势,能够重用GSI的安全服务且便于部署,并获得IBC轻量、高效的优点。
- 于代荣杨扬李盛阳陈月辉熊曾刚
- 关键词：网格ID-BASED
