Core-crust modeling approach for formal representation of trust in relation to computer security Bilgisayar güvenliğinde güvenin çekirdek kabuk modelleme yaklaşımı ile kurallı gösterimi
Doktora
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol = Computer Engineering and Computer Science and Control