Common Criteria

Security facilities of information systems with high security requirements should be consistently and continuously developed, used, and maintained based on some common standards of information security. However, there is no engineering environment that can support all tasks in security engineering consistently and continuously. To construct a security engineering environment, a database that can manage all data concerning all tasks in

This paper presents a comparative assessment based on time response specification performance between modern and intelligent controller for a pitch control system of an aircraft system. The dynamic modeling of pitch control system is considered on the design an autopilot that controls the pitch angle of an aircraft. It begins with a derivation of suitable mathematical model to describe the dynamics of an aircraft. To study the effectiveness of the controllers, the Linear Quadratic Controller (LQR) and Fuzzy Logic Controller (FLC) is developed for controlling the pitch angle of an aircraft system. Simulation results for the response of pitch controller are presented in time domain. Finally, the performances of pitch control systems are investigated and analyzed based on common criteria of step's response in order to identify which control strategy delivers better performance with respect to the desired pitch angle and pitch rate. It is found from simulation, LQR controller give the best performance compared to fuzzy logic controller.

A questionnaire was sent to 1500 randomly selected dairy herds in Sweden, asking for general information about the herds, including routines from birth to first calving and also routines at breeding, calving and during the grazing period. Fifty-eight percent of the questionnaires were returned. The preweaned calves were kept in individual calf pens in 68% and in group housing systems in 28% of the herds. Pens with slatted floors were the main housing system for replacement heifers from weaning to breeding, and tie stalls from breeding to first calving. Whole milk was used in 44% and milk replacements in 42% of the herds. The calves received, as a median, 2.5 litres of milk per meal and 2 meals per day. The median age at weaning was 8 weeks. Age was the single most common criteria used for deciding both weaning and breeding time. The median age when the heifers were first turned out to pasture was 6 months. Prophylactic anthelmintic treatment was used by 65% of the herds. The most co...

Component-based software engineering (CBSE) endeavors to enable software developers to develop quality software systems with less time and resources than traditional development approaches. Software components must be identified and evaluated in order to determine if they provide required functionality for systems being developed. Consideration of security requirements for component selection is of interest. This research considers how the Common Criteria

The performance of a distributed system is affected by the various functions of its components. The interaction between components such as network nodes, computer systems and system programs is examined with special interest accorded to its effect on system reliability. At affordable time and space costs, the analytic hierarchy process (AHP) is used to determine how the reliability of a distributed system may be controlled by appropriately assigning weights to its components. Illustrative case studies, that display the system structure, the assignment of weights and the AHP handling are presented.

This article outlines the challenges of IP multicast over Mobile IP. Then it provides a comprehensive overview of existing multicast solutions to handle mobile sources and receivers in both the Mobile IPv4 and the Mobile IPv6 environments. The solutions are classified into different classes in light of how the network infrastructure is used and the nature of the multicast members (receivers or sources). For each solution, we present a brief overview; we describe the architecture and the proposed protocol; we discuss the advantages and the limitations; and we compare qualitatively all the solutions of each class based on common criteria such as optimal routing, join latency, handover transparency, etc.

Social media enhanced learning systems bring new challenges to evaluate learning environments. Many features are common with any web-based services and can be evaluated with common criteria. But with social media services users can also contribute content, change opinions and create communities for different needs, which bring new dimensions to a quality evaluation. This research focused on finding out which are the most important characters and functions in social media enhanced learning system in the context of higher education. The paper also reports the former research results that were used as a background for this study. Earlier researches were carried out in 2008-2009 and they focused on how to evaluate social media services, what are the studentsâ?? expectations and what motivates them to use social media services in higher educational context.

Security and requirements engineering are one of the most important factor of success in the development of a software product line due to the complexity and extensive nature of them, given that a weakness in security can cause problems throughout all the products of a product line. However, without a CARE (computer-aided requirements engineering) tool, the application of any security

In the field of security software, the Common Criteria (CC) constitute an ISO standard for the evaluation of products and systems from Information Technologies. The international recognition of the Common Criteria justifies the investment undertaken by the manufacturers to obtain the certification of their products. The evaluation criteria are defined according to the Evaluation Assurance Level (EAL). There are seven EALs: EAL1 to EAL7, in an increasing order of security demand. For the upper levels of evaluation, the use of formal methods is mandatory. In that case, supplies intended to realize evaluation activities must contain components associated to modelling, proof and test. This contribution proposes a methodology and a tool (AGATHA (1,2)) which allow to cover the requirements associated to test generation for the upper levels of the Common Criteria. In that case, the criterion used to stop the test generation activity is defined as follows: the generated test case set covers...

Software reliability is a core requirement for safety- and security-critical systems. In the area of avionics, for example, the DO-178B standard requires extensive validation, such as software reviews, requirement engineering, coverage analysis, and careful design of test cases. In a broader context, EAL7 (of the Common Criteria framework) also de- mands "formally verified, designed, and tested" systems. It is part of the BMBF-supported VerisoftXT project (www.verisoftxt.de) to explore the freedom of design offered within these regulatory requirements, where code verification is one of the available options. In recent years, deductive code verification has improved to a degree that makes it feasible for real-world programs. In the VerisoftXT subproject Avionics, the goal is to apply formal methods to a commercial embedded operating system. In particular, the goal is to use deductive techniques to verify functional correctness of the PikeOS microkernel. For verifi- cation, ...