Eliciting Security Requirements and Tracing them to Design: An Integration of Common Criteria, Heuristics, and UMLsec

Building secure systems is difficult for many reasons. This paper deals with two of the main challenges: (i) the lack of security expertise in development teams, and (ii) the inadequacy of existing methodologies to support developers who are not security experts. The security standard ISO 14508 (Common Criteria) together with secure design techniques such as UMLsec can provide the security expertise, knowledge, and guidelines that are needed. However, security expertise and guidelines are not stated explicitly in the Common Criteria. They are rather phrased in security domain terminology and difficult to understand for developers. This means that some general security and secure design expertise are required to fully take advantage of the Common Criteria and UMLsec. In addition, there is the problem of tracing security requirements and objectives into solution design,which is needed for proof of requirements fulfilment. This paper describes a security requirements engineering methodology called SecReq. SecReq combines three techniques: the Common Criteria, the heuristic requirements editorHeRA, andUMLsec. SecReqmakes systematic use of the security engineering knowledge contained in the Common Criteria and UMLsec, as well as security-related heuristics in the HeRA tool. The integrated SecReq method supports early detection of security-related issues (HeRA), their systematic refinement guided by the Common Criteria, and the ability to trace security requirements into UML design models. A feedback loop helps reusing experiencewithin SecReq and turns the approach into an iterative process for the secure system life-cycle, also in the presence of system evolution.

The economic effects of common agricultural policy on Mediterranean montado/dehesa ecosystem

The decoupling of CAP payments leads production decisions and resources allocation to be more dependent on market prices and competitive advantages. The objective of this paper is to assess the effects of CAP trends on the montado/dehesa traditional ecosystem of Mediterranean regions in terms of farm income, land, labour and capital. A positive mathematical supply model disaggregated by the montado agro-forestry production systems of the Alentejo region in southern Portugal is developed. The results show that decoupling payments of CAP have negative economic effects on agricultural activities and resource use. Agricultural income increases with single farm payments but the foreseen increases in prices do not compensate the loss of the Agenda 2000 area payments in terms of competitiveness. These results reinforce the need to promote alternative agricultural and non-agricultural activities and policies in Mediterranean rural European areas and regions. (C) 2011 Society for Policy Modeling. Published by Elsevier Inc. All rights reserved.

Study of the expression of different genes of long-chain polyunsaturated fatty acids (LC-PUFA) metabolism during the early paralarval development of the common octopus (Octopus vulgaris)

Dissertação de mestrado, Aquacultura e Pescas, Faculdade de Ciências e Tecnologias, Universidade do Algarve, 2015

Temporal distribution of the short-beaked common dolphin (Delphinus delphis) in the south of Madeira Island (Portugal) and relationship with oceanographic variables

Dissertação de mestrado, Biologia Marinha, Faculdade de Ciências e Tecnologia, Universidade do Algarve, 2015

South Carolina/Common Pleas Court Circuits Meeting Benchmark

This is a list of the courts in all the circuits of South Carolina and the percentage of cases disposed of in 365 day or less. None of the courts met the 80% benchmark.

South Carolina/Common Pleas Court Circuits Meeting Benchmark ... as of August 31, 2014

This is a list of the courts in all the circuits of South Carolina and the percentage of cases disposed of in 365 day or less as of August 31, 2014. None of the courts met the 80% benchmark.

Summary of Pending Common Pleas Cases by Circuit/County For Period 7/1/2014 thru 8/31/2014

This report gives a summary of common pleas cases broken down by county and circuit as of August 31, 2014.

Summary of Pending Common Pleas Cases by Circuit/County For Date 6/30/2014

This report gives a summary of common pleas cases broken down by county and circuit as of June 30, 2014.

South Carolina/common pleas court circuits meeting benchmark 80% of Pending Docket 365 Days or Less From Placement on the Trial Docket as of February 28, 2015

This is a list of the courts in all the circuits of South Carolina and the percentage of cases disposed of in 365 day or less. Only three courts met the 80% benchmark.

Summary of pending common pleas cases by circuit/county for date 2/28/2015

This report gives a summary of common pleas cases broken down by county and circuit.

Summary of pending common pleas cases by circuit/county for period 7/1/2015 thru 2/28/2015

This report gives a summary of common pleas cases broken down by county and circuit.

Neuro-glia-vascular alterations by common neonatal clinical conditions

Tese de doutoramento, Farmácia (Biologia Celular e Molecular), Universidade de Lisboa, Faculdade de Farmácia, 2014

Ecology of the common octopus "Octopus vulgaris" (Cuvier, 1797) in the Atlantic Iberian coast : life cycle strategies under different oceanographic regimes

Tese de doutoramento, Biologia (Biologia Marinha e Aquacultura), Universidade de Lisboa, Faculdade de Ciências, 2015

Population and landscape genetics of the stone marten and red fox in Portugal : implications for conservation management of common carnivores

Tese de doutoramento, Biologia (Biologia da Conservação), Universidade de Lisboa, Faculdade de Ciências, 2015