国家自然科学基金(90718011)
- 作品数:18 被引量:47H指数:3
- 相关作者:范昊梁永全张继军许金芳刘树栋更多>>
- 相关机构:山东科技大学山东农业大学清华大学更多>>
- 发文基金:国家自然科学基金山东科技大学研究生科技创新基金山东省博士后创新项目更多>>
- 相关领域:自动化与计算机技术经济管理更多>>
- 高效的具有指定验证者的签名方案被引量:3
- 2011年
- 在许多实际应用(如电子选举、电子商务、软件的许可认证)中,任何人都可以验证签名有效性的要求是没有必要的,也是签名者不希望的。研究了司光东等人的短签名方案,发现他们的方案在应用于其他网络环境时容易遭受重放攻击。在原方案基础上,提出了一个高效的应用范围更广的方案,该方案具有指定验证者的性质,并在随机预言机模型和CDH问题困难假设下证明了该方案的安全性。
- 许金芳高德智刘树栋
- 关键词:指定验证者CDH问题双线性对哈希函数电子选举
- 对一个改进的指定验证者代理签名方案的攻击
- 2010年
- 对一个改进指定验证者的代理签名方案进行了分析,指出了其中的安全漏洞.系统中的一个用户如果截取到原始签名人发送给代理签名人的信息,则可以伪造对消息的代理签名.该攻击方案可以成功的原因是在原签名方案的验证中仅使用了指定验证者的公私钥,没有其他的公钥信息.该攻击方案虽然短小,但对原始签名方案是有效的.
- 许金芳高德智刘树栋
- 关键词:指定验证者签名代理签名双线性对
- Petri网与二元文法的语言等价性
- 2011年
- 为了用一种类似Chomsky文法体系中的文法描述Petri网语言,研究了二元文法与Petri网语言之间的关系,给出了将二元文法等价转化为Petri网的方法和将Petri网等价转化为二元文法的方法,从而,证明了二元文法产生的语言等价于Petri网语言.
- 张继军董卫范昊
- 关键词:PETRI网
- 基于面向对象Petri网的组织间工作流建模被引量:4
- 2014年
- 工作流建模是工作流技术研究的基础,目前工作流建模多集中在组织内部业务流程建模方面,对于组织间工作流建模研究较少。提出一种用于组织间工作流建模的扩展的面向对象Petri网描述规则,并针对经济运行中常见的一种生产交易流程进行建模。得到单个对象和系统整体的面向对象Petri网模型,然后在此基础上进行系统结构活性和有界性分析。通过针对实际问题的建模验证,阐明了该规则的有效性和实用性。
- 杨磊吴哲辉吴振寰
- 关键词:工作流PETRI网面向对象死锁
- 正规表达式与恰当终结的标准Petri网(英文)
- 2008年
- 已知一个语言表达式或语言的集合,如何构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。为解决这个问题,引入一种称为恰当终结的标准Petri网模型。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算""、选择(并)运算"+"、kleene闭包运算"+"、并行运算"//"的性质,证明了恰当终结的标准Petri网语言与正规语言的等价性,并给出了正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法。作为对传统形式语言的有益补充,还给出了带并发算子的正规表达式到恰当终结的标准Petri网(带ε-空标注)的转换算法。
- 廉文娟曾庆田范昊梁永全
- 关键词:PETRI网正规语言语言
- 正规表达式到无空标注Petri网的构造方法
- 2008年
- 已知一个语言表达式或语言的集合,如何直接构造产生该语言的Petri网模型是Petri网语言理论中的一个重要问题。语言表达式到Petri网(无ε-空标注)的转换算法更有难度。研究了恰当终结的标准Petri网语言(无ε-空标注)关于连接算、选择(并)运算、闭包运算、并行运算的性质,在此基础上给出正规表达式到无ε-空标注的恰当终结的标准Petri网的转换算法。作为对传统形式语言的有益补充,还给出了带并发算子"//"的正规表达式到恰当终结的标准Petri网(无ε-空标注)的转换算法。
- 束德勤范昊
- 关键词:PETRI网正规语言语言
- 安全有效的代理可验证加密签名方案被引量:3
- 2011年
- 结合可验证加密签名方案和代理数字签名方案,提出了一个基于证书的代理可验证加密签名方案,并对该方案的正确性进行了分析,证明了该方案的安全性。
- 刘树栋梁向前许金芳
- 关键词:代理签名可验证加密签名双线性对
- 基于Petri网进程的协议测试例生成方法及其实例被引量:2
- 2008年
- 提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri网基本进程段的链接、并、闭包运算,将简单的测试例进行组合,从而得到测试协议复杂行为的测试例。结合一个实例,给出LAPD协议的Petri网模型和该协议的最小测试例集合。基于Petri网进程的协议测试例生成方法,使得协议的分析更加准确直观。
- 范昊束德勤
- 关键词:PETRI网
- 语言表达式到Petri网模型的转化及其算法被引量:2
- 2011年
- 已知一个语言的表达式,直接构造产生该语言的Petri网模型是Petri网语言理论中一个重要问题.本文分析、研究同步交错正规表达式中各种运算与Petri网模型的对应转换关系,分别给出正规表达式、α闭包表达式到Petri网模型的转换方法;定义了Petri网的有界覆盖合成运算,研究有界覆盖合成网的语言性质,给出将同步交错正规表达式转换为Petri网模型的算法,从而实现了语言表达式到Petri网模型的等价转化.
- 张继军范昊
- 通用的个性化自动谈判服务框架及其实现被引量:1
- 2009年
- 针对目前缺少从用户的个性化服务需求到主体服务实现角度设计的通用框架的问题,给出一个通用的个性化自动谈判框架。提出用户个性化服务需求转换为主体服务实现的方法和主体谈判服务的实现步骤,通过一个典型案例的实现与分析结果表明,该框架具有较好的实用性。
- 纪淑娟梁永全张纯金田启家
- 关键词:电子市场自动谈判谈判策略个性化服务