...
机译:模型检查SPKI / SDSI
Computer Sciences Department, University of Wisconsin, 1210 W. Dayton Street, Madison, WI 53706, USA;
SPKI/SDSI; model checking; pushdown system; naming; authorization; certificate-chain discovery; certificate-set analysis;
机译:SPKI / SDSI与K-SPKI / SDSI系统的比较研究
机译:SPKI / SDSI与K-SPKI / SDSI系统的比较研究
机译:使用一阶逻辑了解SPKI / SDSI
机译:使用模型检查分析SPKI / SDSI证书
机译:将类型检查与模型检查相结合以进行系统验证
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:使用模型检查分析spKI / sDsI证书*