Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Academic
Publications
Open Source Systems Security Certification

Open Source Systems Security Certification,10.1007/978-0-387-77324-7,Ernesto Damiani,Claudio Agostino Ardagna,Nabil El Ioini

Edit
Open Source Systems Security Certification   (Citations: 6)
BibTex | RIS | RefWorks Download
Published in 2009.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...In particular, they provide engineers in charge of software procurement with human-readable evidences, based on testing and formal verification signed by a trusted third party, that a software product has some features, conforms to specified requirements, and behaves as expected [1]...
    • ...According to Damiani et al. [1], “test-based certificates are evidence-based proofs that a test carried out on the software has given a certain result, which in turn shows (perhaps with a certain level of uncertainty) that a given property holds for that software...

    Marco Anisetti, et al. Defining and Matching Test-Based Certificates in Open SOA

    • ...In this paper we focus on test-based certification that, according to Damiani et al. [3], is a process producing evidence-based proofs that a (white- and/or black-box) test carried out on the software has given a certain result, which in turn shows that a given high-level security property holds for that software...

    Marco Anisetti, et al. Fine-Grained Modeling of Web Services for Test-Based Security Certific...

    • ...In fact, the assurance concept is associated to different tasks, such as risk assessment, information systems security, internal audit, and customer satisfaction surveys, focused on specific aspects of the environment they are applied to [1]...
    • ...Definition 1. Let w =[ ω1 ,ω 2 ,...,ω n] a weight vector of dimension n ,s uch that ω1 ∈ [0, 1] and i ωi =1 . A mapping fOW A : R n → R is an OWA operator of dimension n if...
    • ...The need of some form of security certification based on a rigorous and in-depth analysis has been raised, and the formalization of a certification framework that will allow, on the one side, suppliers to certify the security properties of their software and, on the other side, users to evaluate the level of suitability of different OS security solutions, is strongly required [1]...

    Claudio Agostino Ardagna, et al. Implementing Open Source Software Governance in Real Software Assuranc...

    • ...A number of standards have been defined to specify which security requirements a product should satisfy, while assurance standards specify how to collect and provide the evidence that it does [3]...

    Claudio A. Ardagna, et al. An assurance model for OSS adoption in next-generation telco environme...

    • ...Software Assurance (SwA) involves different stages of a software development process and may be defined depending on its focus, as for instance software quality, security, dependability, and robustness [13]...
    • ...In the field of security and dependability (S&D) assurance, several standards have been defined to specify how to collect and provide the evidence that specific S&D objectives have been achieved [13]...
    • ...The increasing number of reports of securityrelevant faults in software shows that the problem of verifying security-related properties cannot be ignored, especially in the development of high-integrity systems where security is of paramount importance [13]...

    Claudio Agostino Ardagna, et al. Assurance Process for Large Open Source Code Bases

Sort by:

Citations (6)

Share this on