位置：成果数据库 > 期刊 > 期刊详情页
Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets
  • ISSN号：1545-5971
  • 期刊名称：IEEE Transactions on Dependable and Secure Computi
  • 时间：0
  • 页码：852-865
  • 语言：英文
  • 相关项目：大规模车间调度系统设计、优化与应用
作者： 黄荷姣|Helene Kirchner|
同期刊论文项目
大规模车间调度系统设计、优化与应用
期刊论文 12 会议论文 11 著作 1
同项目期刊论文
Channel assignment using block design in wireless mesh networks
Analysis of Parallel Manufacturing Processes with Resource Sharing
Solving a Multi-objective Flexible Job Shop Scheduling Problem with Timed Petri Nets and Genetic Alg
Petri net modeling and deadlock analysis of parallel manufacturing processes with shared-resources
Analysis of structure properties of petri nets using transition vectors
Component-based Design and Optimization for Job-shop Scheduling Systems
Design and Verification of Enhanced Secure Localization Scheme in Wireless Sensor Networks
A Technique for Reachability Graph Generation for the Petri Net Models of Parallel Processes
Secure and Efficient Localization Scheme in Ultra-Wideband Sensor Networks