Structuring Modular Safety Software Certification by Using Common Criteria Concepts

2012 ◽  
Author(s):  
Christopher Preschern ◽  
Kurt Dietrich
Keyword(s):  
Common Criteria ◽  
Software Certification

scholarly journals Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper)

10.29007/w9b3 ◽  
2018 ◽  
Author(s):  
Bernhard Beckert ◽  
Daniel Bruns ◽  
Sarah Grebing
Keyword(s):  
Formal Verification ◽  
Program Verification ◽  
Common Belief ◽  
Formal Models ◽  
Discussion Paper ◽  
Certification Process ◽  
Common Criteria ◽  
Software Certification ◽  
High Assurance ◽  
The Common

It is a common belief that the rise of standardized software certification schemes like the Common Criteria (CC) would give a boost to formal verification, and that software certification may be a killer application for program verification. However, while formal models are indeed used throughout high-assurance certification, verification of the actual implementation is not required by the CC and largely neglected in certification practice - despite the great advances in program verification over the last decade.In this paper we discuss the gap between program verification and CC software certification, and we point out possible uses of code-level program verification in the CC certification process.

PRINCIPLES OF CLASSIFICATION OF BLADDER DYSFUNCTIONS IN CHILDREN: SEARCH FOR COMMON CRITERIA

2020 ◽  
Vol 99 (5) ◽  
pp. 271-275
Author(s):  
N.B. Guseva ◽  
◽  
S.S. Nikitin ◽  
R.O. Ignatiev ◽  
E.V. Mlynchik ◽  
...  
Keyword(s):  
Common Criteria

scholarly journals Anℋ∞Optimal Robust Pole Placement with Fixed Transparent Controller Structure on the Basis of Nonnegativity of Even Spectral Polynomials

2012 ◽  
Vol 2012 ◽  
pp. 1-25 ◽  
Author(s):  
Andrej Sarjaš ◽  
Rajko Svečko ◽  
Amor Chowdhury
Keyword(s):  
Controller Design ◽  
Polynomial Equation ◽  
Pole Placement ◽  
Robust Controller ◽  
Reference Tracking ◽  
Common Criteria ◽  
Sensitivity Problem ◽  
The Common ◽  
Partial Fraction Decomposition ◽  
Iterative Evolution

This paper presents the synthesis of an optimal robust controller with the use of pole placement technique. The presented method includes solving a polynomial equation on the basis of the chosen fixed characteristic polynomial and introduced parametric solutions with a known parametric structure of the controller. Robustness criteria in an unstructured uncertainty description with metrics of normℋ∞are for a more reliable and effective formulation of objective functions for optimization presented in the form of a spectral polynomial with positivity conditions. The method enables robust low-order controller design by using plant simplification with partial-fraction decomposition, where the simplification remainder is added to the performance weight. The controller structure is assembled of well-known parts such as disturbance rejection, and reference tracking. The approach also allows the possibility of multiobjective optimization of robust criteria, application of mixed sensitivity problem, and other closed-loop limitation criteria, where the common criteria function can be composed from different unrelated criteria. Optimization and controller design are performed with iterative evolution algorithm.

Enabling Efficient Common Criteria Security Evaluation for Connected Vehicles

2021 ◽  
Author(s):  
Angelos Stamou ◽  
Panagiotis Pantazopoulos ◽  
Sammy Haddad ◽  
Angelos Amditis
Keyword(s):  
Security Evaluation ◽  
Connected Vehicles ◽  
Common Criteria

scholarly journals Revisiting a Boy Named Jim

2018 ◽  
Vol 17 (1) ◽  
pp. 160940691880916
Author(s):  
Katherine Bischoping
Keyword(s):  
Narrative Analysis ◽  
Health Research ◽  
Meaning Making ◽  
Vicarious Traumatization ◽  
Childhood Experience ◽  
Good Story ◽  
Common Criteria ◽  
Qualitative Health Research ◽  
The Social ◽  
Analysis Strategies

Using examples from qualitative health research and from my childhood experience of reading a poem about a boy devoured by a lion (Belloc, 1907), I expand on a framework for reflexivity developed in Bischoping and Gazso (2016). This framework is unique in first synthesizing works from multidisciplinary narrative analysis research in order to arrive at common criteria for a “good” story: reportability, liveability, coherence, and fidelity. Next, each of these criteria is used to generate questions that can prompt reflexivity among qualitative researchers, regardless of whether they use narrative data or other narrative analysis strategies. These questions pertain to a broad span of issues, including appropriation, censorship, and the power to represent, using discomfort to guide insight, addressing vicarious traumatization, accommodating diverse participant populations, decolonizing ontology, and incorporating power and the social into analyses overly focused on individual meaning-making. Finally, I reflect on the affinities between narrative – in its imaginatively constructed, expressive, and open-ended qualities – and the reflexive impulse.

Finest authorizing member of common criteria certification

2012 ◽  
Author(s):  
Mohd Anuar Mat Isa ◽  
Jamalul-lail Ab Manan ◽  
Ramlan Mahmod ◽  
Habibah Hashim ◽  
Mar Yah Said ◽  
...  
Keyword(s):  
Common Criteria
Sign in / Sign up

Export Citation Format

Share Document