Author:
de Saqui-Sannes P.,Villemur T.,Fontan B.,Mota S.,Bouassida M. S.,Chridi N.,Chrisment I.,Vigneron L.
Publisher
Springer Science and Business Media LLC
Reference32 articles.
1. Armando A, Basin D, Boichut Y, Chevalier Y, Compagna L, Cuellar J, Hankes Drielsma P, Héam PC, Kouchnarenko O, Mantovani J, Mödersheim S, Von Oheimb D, Rusinowitch M, Santos Santiago J, Vigano L, Turuani M, Vigneron L (2005) The AVISPA tool for the automated validation of internet security protocols and applications. In: Proceedings of 17th international conference on computer aided verification (CAV’05). Springer-Verlag (LNCS 3576). Edinburgh, Scotland, pp. 281–285
2. Apvrille L, Courtiat J-P, Lohr C, de Saqui-Sannes P (2004) TURTLE: a real-time UML profile supported by a formal validation toolkit. IEEE Trans Softw Eng 30(7): 473–487
3. Dolev D, Yao AC (1983) On the security of public-key protocols. IEEE Trans Inform Theory 29(2): 198–208
4. Mota S (2008) Protocol modeling and verification for secured group communications. PhD thesis, University of Toulouse (in French)
5. Bouassida MS, Chrisment I, Festor O (2008) Group key management in MANETs. Int J Netw Secur IJNS 6(1): 67–79
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献