Journals
Books
Articles by keyword formal security models
P.S. Bushmakin, A.V. Sapozhnikov, D.Yu. Gamayunov