Formal Verification of Finite State Transactional Security Policy
Yükleniyor...
Tarih
Yazarlar
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayıncı
Erişim Hakkı
Özet
Açıklama
Uluslararası | Tam metin bildiri | YÖK-Özgeçmiş
Anahtar Kelimeler
Kaynak
The 8th International Conference on Network and System Security (NSS 2014; eds.: Man Ho Au, Barbara Carminati, C.-C. Jay Kuo)