References of "Radomirovic, Sasa 40000554"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailA framework for compositional verification of security protocols
Andova, S.; Cremers, C. J. F.; Gjøsteen, K. et al

in Information and Computation (2008), 206(2-4), 425-459

Detailed reference viewed: 98 (1 UL)