Carl E Landwehr
Список авторов с биографиями, датами жизни и будущими подборками всех их книг.
Книги автора
8
Database Security, II: Status and Prospects
A survey of formal models for computer security
Dependable computing for critical applications 3
Best available technologies (BATs) for computer security
Software engineering techniques applied to protocol simulation
Database security
Foundations of Security, Protocols, and Equational Reasoning
