Compiling symbolic attacks to protocol implementation tests
Research Area: | Uncategorized | Year: | 2013 |
---|---|---|---|
Type of Publication: | In Proceedings | ||
Authors: |
|
||
Editor: | Bouhoula, Adel and Ida, Tetsuo and Kamareddine, Fairouz | Volume: | 122 |
Book title: | Proceedings Fourth International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisia, 15-17 December 2012 | ||
Series: | Electronic Proceedings in Theoretical Computer Science | Pages: | 39-49 |
BibTex: |
|||
Note: | partners: INRIA, SupCom Tunis ; projects: Nessos; TIER: unknown; citations: 2 |
||
[Bibtex] |