安全部分观测量子投肮网中的当前状态不透明性：真实并发语义与精确符号验证

经典不透明性理论依赖严格的可观测事件序列，根本无法捕捉混合架构中攻击者同时利用经典轨迹和局部量子关联所导致的安全漏洞。为此，我们通过引入真实并发语义，在安全部分观测量子投肮网框架内形式化当前状态不透明性，该语义通过展开配置将经典观察表示为部分有序多集。基于此，我们定义定量后验状态泄漏作为攻击者局部量子状态之间的迹角距离，在系统是否到达秘密或非秘密标记的条件下进行评估。该表述严格保留经典不透明性定义。为实现计算可行性，我们应用稳定子形式并开发一个精确符号验证算法。该程序通过针对性展开探索、仅在最大不可观测到达处的状态聚合，以及稳定子表盘传递，规避了并发交错爆炸和指数密度矩阵开销。最后，一个纠缠交换案例研究验证了精确泄漏评估，展示了显著的计算收益，并为反例引导的泄漏强制提供了一个严格的接口。