Results 211 to 220 of about 57,965 (266)

Certification of Safety-Critical Systems

Communications of the ACM, 2023
Seeking new approaches toward ensuring the safety of software-intensive systems.
Leveson, Nancy, Thomas, John
openaire   +3 more sources

Analysis of Critical Systems Certification

2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, 2014
We introduce the filter model of regulatory certification of safety-critical systems. This model characterizes the certification process itself as a safety-critical system in which incorrectly certifying a system that should be rejected is an accident. The role of certification is modeled as the identification of faults in the system being certified, i.
Panayiotis Steele, John Knight
openaire   +1 more source

Approaching certification of complex systems

2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), 2020
Safety being a system property and not an element property means that novel systems need to be treated as ”oneof”. Only after we gained adequate experience in context of a few (probably dozen) such complex system will common ”baseline” argument emerge.
Nicholas Mc Guire, Imanol Allende
openaire   +1 more source

Formalizing certificate management systems

IEEE International Conference on Networks. ICON '99 Proceedings (Cat. No.PR00243), 2005
Certificate management systems (CMS) are used for generating, distributing, storing and verifying certificates. They play an important role in network security applications. This paper presents a mathematical model for such systems. An approach to the formal specification of a CMS structure and its dynamic changes is described.
Chuchang Liu, Anthony Cant, Maris A. Ozols, Marie Henderson   +3 more
openaire   +1 more source

Voting systems standards and certifications

Communications of the ACM, 2004
Surveying the effort to create a new implementation-independent voting system standard.
Herb Deutsch, Stephen Berger
openaire   +1 more source

Challenges in Certification of Autonomous Driving Systems [PDF]

2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017
Autonomous Driving is the next frontier of the automotive industry. Advanced driver assistance systems (ADAS) are going to be pervasively used in modern automobiles. New ADAS are principally based on Artificial Intelligence (AI) technology, and in particular on deep learning.
Falcini F, Lami G
openaire   +1 more source

Digital certificates and payment systems

Information Security Technical Report, 1998
Abstract This article provides a brief overview of the kinds of digital certificates that are used in some electronic payment systems; namely S.W.I.F.T., CHAPS, EMV and SET. These electronic payment systems use public key certificates to protect the integrity and confidentiality of payment and key management messages.
openaire   +1 more source

Architectural considerations in the certification of modular systems

Reliability Engineering & System Safety, 2002
The adoption of Integrated Modular Avionics (IMA) in the aerospace industry offers potential benefits of improved flexibility in function allocation, reduced development costs and improved maintainability. However, it requires a new certification approach.
Bate, I., Kelly, T.
openaire   +2 more sources

Certificate sharing system for secure certificate distribution in mobile environment

Expert Systems with Applications, 2016
We can share mobile certificates securely without modification of X.509 certificate.The certificate sharing system is implemented on a virtual private network.The certificate sharing system provides strong data security on physical devices.The certificate sharing system significantly improves convenience for users.The certificate sharing system ...
Sundeuk Kim, Hyun-Taek Oh, Young-Gab Kim
openaire   +1 more source

Certification – Basic Terms and Certification System

This article will introduce you to an interesting discipline such as certification, which includes the basic concepts and requirements of certification, rules and processes.  Certification bodies that perform certain functions are also designated.  And the general structure of the “Law of Turkmenistan on Certification”.
Nargyz Orazgeldiyeva, Gulshat Durdyyeva
openaire   +2 more sources