A study of the TLS ecosystem

O Levillain - 2016 - theses.hal.science
SSL/TLS, a 20-year old security protocol, has become a major component securing network
communications, from HTTPS e-commerce and social network sites to Virtual Private …

Mind your language (s): A discussion about languages and security

É Jaeger, O Levillain - 2014 IEEE Security and Privacy …, 2014 - ieeexplore.ieee.org
Following several studies conducted by the French Network and Information Security
Agency (ANSSI), this paper discusses the question of the intrinsic security characteristics of …

Determinants of Compliance With Information Systems Security Controls: A Case of a Business Organization in South Africa

NS Ndlovu, P Ndayizigamiye, M Kante - … Capabilities in Developing …, 2022 - igi-global.com
The purpose of this study is to determine the factors that critically contribute to employees of
an organization complying with the information security controls that have been set in place …

[图书][B] Rapid Prototyping Software for Avionics Systems: Model-oriented Approaches for Complex Systems Certification

N Larrieu, A Varet - 2014 - books.google.com
The design, implementation and validation of avionics and aeronautical systems have
become extremely complex tasks due to the increase of functionalities that are deployed in …

Formal Specification of Scientific Applications Using Interval Temporal Logic

B Koteska, LJ Pejov, A Mishev - 2014 - repository.ukim.mk
Scientific applications simulate any natural phenomena in different scientific domains.
Moreover, the problems they solve are usually represented by mathematical models. Taking …

[PDF][PDF] Mind your language (s)

E Jaeger, O Levillain, P Chifflier - … workshop of IEEE Security & Privacy, 2014 - cyber.gouv.fr
Following several studies conducted by the French Network and Information Security
Agency (ANSSI), this paper discusses the question of the intrinsic security characteristics of …

[图书][B] Prototypage rapide de logiciel pour les systèmes avioniques: approches orientées model̀e pour la certification de systèmes complexes

N Larrieu, A Varet - 2014 - books.google.com
Cet ouvrage propose une méthodologie qui permet de prototyper rapidement un système
avionique, en considérant dès le départ les aspects de certification de la solution produite …