Formal Methods for the Analysis of Security Protocols Вид публикации: Thesis Авторы: Pedro Miguel dos Santos Alves Madeira Источник: Instituto Superior Tėcnico, Universidade Tecnica de Lisboa, Volume PhD Dissertation, Lisbon (2006)
