位置：成果数据库 > 期刊 > 期刊详情页
Modeling and quantitatively predicting software security based on stochastic Petri nets
  • ISSN号：0895-7177
  • 期刊名称：Mathematical and Computer Modelling
  • 时间：0
  • 页码：284-289
  • 语言：英文
  • 相关项目：面向方面软件结构模型设计及验证技术
作者： Nianhua Yang, Huiqun Yu, Zhilin Qian, Hua Sun|
同期刊论文项目
面向方面软件结构模型设计及验证技术
期刊论文 47 会议论文 28
同项目期刊论文
可靠服务组合的协调策略与分析
Global mediator election technology based on evaluation function
策略驱动的可靠嵌入式系统建模及分析方法
基于Petri网的CPS系统安全量化分析模型
一种基于Petri网的服务组合流程分析方法
一种基于语义网技术和本体的数据集成方法
开放系统中基于信任度和上下文的访问控制模型
Quantifying software security based on stochastic Petri nets
一种基于Petri网的面向方面的用例建模方法
基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证
面向敏感值的个性化隐私保护
基于C2C的可信信用评价模型
一个Peer-to-Peer环境下综合信誉计算模型
基于RBAC的工作流管理系统授权约束方法
基于Petri网的服务组合故障诊断与处理
An approach to analyzing user preference based dynamic service composition
Modeling UML sequence diagrams using extended Petri nets
Modeling UML activity diagrams with extended Petri nets
Scheduling real-time embedded systems Based on TCPNIA
基于面向方面技术的服务安全组合及故障分析
基于HCPN的面向方面NVP建模与分析
Behavioral modeling with new bio-inspired coordination generalized molecular model algorithm
带抑制弧的时延着色Petri 网模型检测技术
P2P系统中基于属性约减的可信度评价
Research in microaggregation algorithms for k-anonymization
基于TPM的强身份认证协议研究
基于UML的COSMIC-FFP度量方法
功能点分析方法的一种形式化定义
基于无线传感器网络的局域世界动态演化模型
一种基于Petri的服务组合测试模型和分析方法
基于安全进程代数的信息流安全模型的分析与验证
功能规模度量统一模型
UML顺序图的COSMIC-FFP度量方法
基于评估函数的全局中介器动态选举技术
基于面向方面技术的服务安全组合故障分析
一种动态对象/关系映射框架及其实现
基于能量感知的无线传感器网络拓扑演化
基于约简支持向量机的快速入侵检测算法
基于Elman神经网络的交通流量预测方法
异常检测中支持向量机最优模型选择方法
用于黑盒测试的测试用例优先级改进算法
RS-UM信息系统安全保障评估模型
数据表k-匿名化的微聚集算法研究
面向数值型敏感属性的分级l-多样性模型