| Autor: |
Tlili, Syrine, Yang, XiaoChun, Hadjidj, Rachid, Debbabi, Mourad |
| Zdroj: |
On the Move to Meaningful Internet Systems: Otm 2009 (9783642051500); 2009, p913-930, 18p |
| Abstrakt: |
Growing security requirements for systems and applications have raised the stakes on software security verification techniques. Recently, model-checking is settling in the arena of software verification. It is effective in verifying high-level security properties related to software functionalities. In this paper, we present the experiments conducted with our security verification framework based on model-checking. We embedded a wide range of the CERT secure coding rules into our framework. Then, we verified real software packages against these rules for purpose of demonstrating the capability and the efficiency of our tool in detecting real errors. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
