Formal verification of finite state transactional security policy

Basit Öğe Kaydı
dc.contributor.authorRajamanickam, N.
dc.contributor.authorNadarajan, Rethinaswamy
dc.contributor.authorElçi, Atilla
dc.date.accessioned13.07.201910:50:10
dc.date.accessioned2019-07-16T08:22:31Z
dc.date.available13.07.201910:50:10
dc.date.available2019-07-16T08:22:31Z
dc.date.issued2014
dc.departmentMühendislik Fakültesi
dc.descriptionFujian Normal University;ISN State Key Laboratory;Springer;Xidian University
dc.description8th International Conference on Network and System Security, NSS 2014 -- 15 October 2014 through 17 October 2014 -- -- 109279
dc.description.abstractSecurity policy helps to ensure that system always takes the desired input action sequence and works in a proper manner. Formal verification of finite state transactional security policy is necessary to check whether the given policy conforms to the specification. One way to specify finite state transactional security policy is by using a filter automaton. A filter automaton is an action sequence transformer that maps an input action sequence into another, so that the output action sequence obeys the specified policy. A method for verification of finite state transactional security policy enforced by filter automata is being proposed. The observable actions finite security automaton and the observable actions finite truncation automaton are used to verify a finite state transactional security policy. © Springer International Publishing Switzerland 2014.
dc.identifier.endpage376en_US
dc.identifier.isbn9783319116976
dc.identifier.issn0302-9743
dc.identifier.scopusqualityQ3
dc.identifier.startpage363en_US
dc.identifier.urihttps://hdl.handle.net/20.500.12451/2580
dc.identifier.volume8792en_US
dc.identifier.wosqualityN/A
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.language.isoen
dc.publisherSpringer Verlag
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.subjectFinite Edit Automata
dc.subjectFormal Verification
dc.subjectSecurity Policy
dc.subjectTransaction Isolation
dc.titleFormal verification of finite state transactional security policy
dc.typeConference Object

Dosyalar

Koleksiyon

Diğer Yayınlar Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu
WoS İndeksli Yayınlar Koleksiyonu