Author:
Bruni Alessandro,Carbone Marco,Giustolisi Rosario,Mödersheim Sebastian,Schürmann Carsten
Publisher
Springer International Publishing
Reference34 articles.
1. Tamarin code (2021). https://www.dropbox.com/sh/lonxu6vmj3iilmu/AAAErB3ATSNg59MFGxBcp74Ha?dl=0
2. Lecture Notes in Computer Science;K Ables,2010
3. Lecture Notes in Computer Science;O Almousa,2015
4. Arapinis, M., Phillips, J., Ritter, E., Ryan, M.D.: Statverif: verification of stateful processes. J. Comput. Secur. 22(5), 743–821 (2014). https://doi.org/10.3233/JCS-140501
5. Basin, D.A., Mödersheim, S., Viganò, L.: OFMC: a symbolic model checker for security protocols. Int. J. Inf. Sec. 4(3), 181–208 (2005). https://doi.org/10.1007/s10207-004-0055-7