Mostrar el registro sencillo del ítem

dc.contributor.authorSanán Baena, David Miguel
dc.date.accessioned2017-05-11T11:53:40Z
dc.date.available2017-05-11T11:53:40Z
dc.date.created2017
dc.date.issued2017-05-11
dc.identifier.urihttp://hdl.handle.net/10630/13625
dc.description.abstractDue to the new trend of integrating safe and secure functionalities into one separation kernel, security analysis of ARINC 653 as well as a formal specification with security proofs are thus significant for the development and certification of Separation Kernels (SKs). In this talk we present a specification development and security analysis method for ARINC SKs based on refinement. We present a security model for event-based non-Interference and a stepwise refinement framework that will allow us to check security on sequential SKs specifications. Moreover to be able to reason on SKs implementations running on top of multi-core architectures it is essential to deal with the interference of the environment between SKs instances running on different cores. Concurrent program reasoning techniques such as rely-guarantee can be leveraged to reason on multi-core SKs implementations. However the source code of the programs to be verified often involves language features such as exceptions and procedures which are not supported by the existing mechanizations of those concurrent reasoning techniques. CSimpl, is a rich specification language with concurrency-oriented language features and verification techniques that will allow reasoning on multi-core SKs implementations.es_ES
dc.description.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.es_ES
dc.language.isoenges_ES
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.subjectProgramas de ordenadoreses_ES
dc.subjectSeguridad de un sistemaes_ES
dc.subject.otherSecurity Analysises_ES
dc.subject.otherSoftware Specification and Verificationes_ES
dc.titleSecurity Analysis of Separation Kernels Specifications and a Framework for the Verification of Concurrent Implementationses_ES
dc.typeinfo:eu-repo/semantics/conferenceObjectes_ES
dc.centroE.T.S.I. Informáticaes_ES
dc.relation.eventtitleConferenciaes_ES
dc.relation.eventplaceMálaga, Españaes_ES
dc.relation.eventdate11/5/2017es_ES
dc.rights.ccby-nc-nd


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem