基于HyperLTL模型检测技术的K步不透明性验证

任翔, 王子佩, 张佳慧, 韩晓光

天津科技大学学报 . 2025, (03): 65 -71 . DOI: 10.13364/j.issn.1672-6510.20240024