Formal verification of security model using SPR tool

Bibliographic Details
Main Authors:	Kim, Il-Gon (Author), Kang, Miyoung (Author), Choi, Jin-Young (Author), Zegzhda, Peter, D. (Author), Kalinin, Maksim O. (Author), Zegzhda, Dmitrij P. (Author), Kang, Inhye (Author)
Format:	Article
Language:	Slovak English
Subjects:	informačná bezpečnosť modelovanie formálna verifikácia

Similar Items