Jürjens, J.J.JürjensWeber, T.T.Weber2022-03-112022-03-112009https://publica.fraunhofer.de/handle/publica/36418410.1007/978-3-642-03459-6_11enmodel-based security004400Finite models in FOL-based crypto-protocol verificationconference paper