Hyperproperties 论文

2010Journal of Computer Security引用 397
DOI
Security and Verification in ComputingAccess Control and TrustPetri Nets in System Modeling
网络安全Security and Verification in ComputingPetri Nets in System ModelingAccess Control and Trust
相关技术:Petri Nets in System Modeling
关系图谱

Hyperproperties · 相关技术

相关技术

Petri Nets in System Modeling