Bounded memory Dolev–Yao adversaries in collaborative systems

Information and Computation - Tập 238 - Trang 233-261 - 2014
Max Kanovich1,2, Tajana Ban Kirigin3, Vivek Nigam4, Andre Scedrov5,6
1Queen Mary University of London, UK
2University College London, UCL-CS, UK
3University of Rijeka, Croatia
4Universidade Federal da Paraíba, João Pessoa, Brazil
5University of Pennsylvania, Philadelphia, USA
6National Research University Higher School of Economics, Moscow, Russian Federation

Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Information and Computation

Tập 238

233-261

Thông tin tác giả