Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Current
Archives
Author Templates
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Contact
Search
Register
Login
Home
/
Archives
/
Vol. 33 (2010): Foundations and Techniques for Open Source Software Certification 2010
Vol. 33 (2010): Foundations and Techniques for Open Source Software Certification 2010
DOI:
https://doi.org/10.14279/tuj.eceasst.33
Published:
2010-12-10
Articles
Security Evaluation and Hardening of Free and Open Source Software (FOSS)
Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Kaitouni, Marc-André Laverdière, Hai Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang
PDF
GUI Inspection from Source Code Analysis
Joao Silva, José Creissac, Joao Saraiva
PDF
Damages and Benefits of Certification: A perspective from an Independent Assessment Body
Mario Fusani, Eda Marchetti
PDF
Using Free/Libre Open Source Software Projects as E-learning Tools
Antonio Cerone, Sulayman Sowe
PDF
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification
Mads Olesen, Rene Hansen, Julia Lawall, Nicolas Palix
PDF
Methodologies and Tools for OSS: Current State of the Practice
Zulqarnain Hashmi, Siraj Shaikh, Naveed Ikram
PDF
Safe Integration of Annotated Components in Open Source Projects
Sergio Areias, Daniela Cruz, Pedro Henriques, Jorge Pinto
PDF
Security in Open Model Software with Hardware Virtualisation – The Railway Control System Perspective
Johannes Feuser, Jan Peleska
PDF
Testing as a Certification Approach
Alberto Simões, Nuno Carvalho, José Almeida
PDF
Component Certification as a Prerequisite forWidespread OSS Reuse
George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos
PDF
Open Source Verification under a Cloud
Peter Breuer, Simon Pickin
PDF
Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects
Sulayman Sowe, Antonio Cerone
PDF
A Deductive Verification Platform for Cryptographic Software
Manuel Barbosa, J. Pinto, J.-C. Filliatre, B. Vieira
PDF
Preface
Preface
Luis Barbosa, Antonio Cerone, Siraj Shaikh
PDF
Information
For Readers
For Authors
For Librarians
Usage Statistics Information
We log anonymous usage statistics. Please read the
privacy information
for details.