Yazar
Bill Roscoe
3 cilt bulundu.
Cilt sonuçları
Formal Methods
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink · Springer
706 sayfa · 2018
Artificial intelligence
The modelling and analysis of security protocols
Peter Ryan PhD, Gavin Lowe, M. H. Goldsmith, Bill Roscoe, P. Y. A. Ryan, S. A. Schneider, G. Lowe, A.W. Roscoe · Addison-Wesley Professional
310 sayfa · 2000
Mathematical models / Computers / Computer security / Cryptography / Access control