Security protocols analysis in the computational model
Subtitle: dependency flow graphs-based approach
By: Ilja Tšahhirov
Contributors: Tallinna Tehnikaülikool
Published: 2008
Language: eng
Number of pages: 204
ISBN-13: 9789985598696
Notes: Thesis (doctoral)--Tallinn University of Technology, 2008.