Formal Verification of Finite State Transactional Security Policy

Basit Öğe Kaydı
dc.contributor.authorRajamanickam N.
dc.contributor.authorNadarajan R.
dc.contributor.authorElçi A
dc.contributor.authorElçi, Atilla
dc.date.accessioned2026-10-15T03:59:04Z
dc.descriptionUluslararası | Tam metin bildiri | YÖK-Özgeçmiş
dc.identifier.doi10.1007/978-3-319-11698-3_28
dc.identifier.urihttps://hdl.handle.net/20.500.11782/9726
dc.relation.ispartofThe 8th International Conference on Network and System Security (NSS 2014; eds.: Man Ho Au, Barbara Carminati, C.-C. Jay Kuo)
dc.relation.urihttp://link.springer.com/chapter/10.1007%2F978-3-319-11698-3_28
dc.titleFormal Verification of Finite State Transactional Security Policy
dc.typeConference Object
dspace.entity.typePublication
hku.portal.eseriddoi:10.1007/978-3-319-11698-3_28
hku.yoksis.yayinid1335688
relation.isAuthorOfPublication3eb4ad48-bddc-4152-a7a4-824b33500b33
relation.isAuthorOfPublication.latestForDiscovery3eb4ad48-bddc-4152-a7a4-824b33500b33

Dosyalar

Koleksiyon

Yazılım Mühendisliği Bölümü Koleksiyonu