国家自然科学基金(61100056)
- 作品数：4 被引量：9H指数：2
- 相关作者：王寿光尤丹王国华莫淦清吴文慧更多>>
- 相关机构：浙江工商大学浙江金融职业学院浙江工业大学更多>>
- 发文基金：国家自然科学基金浙江省科技计划项目美国国家科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于补库所的死锁预防策略被引量：2
- 2013年
- 文中基于补库所理论提出了活性控制器设计方法.首先,利用容量函数K将原Petri网N转变为有限容量网珦N,再通过逐一增加K值得到具有最大可达集的容量函数Kmax,然后根据Kmax添加一组补库所,最终得到活性受控网N′.文中首先以S3PR网模型为例,与几种经典的死锁预防控制策略进行比较.实例数据表明,基于补库所理论设计的控制器不仅结构简单,避免了信标计算,还具有较好的行为许可性.最后,以S3 PGR2网模型为例,说明基于补库所的死锁预防策略同样可以应用于一般Petri网.
- 吴文慧王寿光
- 关键词：PETRI网死锁
- 基于相互认证和3DES加密的智能卡远程支付系统认证方案被引量：2
- 2016年
- 针对现有基于智能卡支付系统的安全方案存在密码暴露、信息泄露和身份认证等问题,提出一种新的基于相互认证和3DES加密的智能卡远程支付系统认证方案。分析基于二次剩余的支付认证方案的不足,在注册、登录、身份认证和密码更改阶段对其进行改进,避免密码暴露攻击,提高密码更改阶段的安全性,同时结合3DES加密算法对支付信息进行加密处理。性能分析表明,该方案能有效抵御多种攻击,且用户能够自由地修改密码,同时可对用户信息进行匿名保护。与现有智能卡支付认证方案相比,该方案提高了支付系统的安全性能,且具有较小的计算复杂度。
- 莫淦清王国华
- 信标可控性定义及问题被引量：2
- 2014年
- 死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,而对于一般Petri网,这方面的工作还需改进和完善.近年来,学者们针对一般Petri网及其子类提出了不少信标可控性定义,但这些定义并不完善,仍有大量的问题亟待解决.首先回顾了文献中的各个信标可控性定义,提出了两个新的信标可控性定义,然后从可控性定义的宽松程度、应用范围以及等价性等方面分析比较了现有的信标可控性定义优缺点.最后给出了今后的研究方向.
- 尤丹王寿光周孟初
- 关键词：PETRI网活性信标
