Jannik Dreier, Lucca Hirschi, Saša Radomirovic, Ralf Sasse. Verification of Stateful Cryptographic Protocols with Exclusive OR. JCS (journal), 2020. Preprint ...
確定! 回上一頁