Case study: Automated security testing on the trusted computing platform

Proceedings of the 1st European Workshop on System Security, EUROSEC'08

Volumn , Issue , 2008, Pages 35-39

  Tóth, Gergely ^a   Koszegi, Gábor ^a   Hornák, Zoltán ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Automated security testing; Flinder; OpenTC; Trusted Computing

Indexed keywords

AUTOMATED SECURITY TESTING; AUTOMATED TESTING; CONTINUOUS OPERATIONS; FLINDER; NON-DISCLOSURE POLICIES; OPENTC; TCG SOFTWARE STACKS; TRUSTED COMPUTING; TRUSTED COMPUTING PLATFORMS;

PHILOSOPHICAL ASPECTS; PROGRAM DEBUGGING;

AUTOMATION;

EID: 65249105368     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1355284.1355291     Document Type: Conference Paper

References (10)

1. G. Tóth and Z. Hornák. Flinder test methodology overview. 2006. http://www\ flinder.hu/library/indcx.html
2. Trasted Computing Group. http://www.trustcdcomputinggroup.org
3. Open TC - Open Trusted Computing, EU FP6 IP. http://www.opentc.net
4. Alephl. Buffer overflow. Phrack magazine, Volume Seven, Issue 49, File 14, 1996. http://www.phrack.ora./archives/49/P49-14
5. M. Conover. Heap overflow, w00w00 Security Team, 1999. http://www.w00w00.org/files/articles/heaptut.txt
6. Blexim. Basic integer overflows. Phrack magazine, Volume OxOb, Issue 0x3c, Phile #0x0a, 2002. http://www.phrack.org/archives/60/p60/-0x0a.txt
7. scut, team teso. Exploiting format string vulnerabilities. 2001. http://julianor.tripod.com/bc/formalsta
8. I. Sprundel. Fuzzing - Breaking software in an automated fashion, 2005
9. A. Puccetti (ed). D07.2 Vamp;V Report #2: Methodology definition, analysis results and certification. 2007. htlp://www.openlc.nel/ deliverables2007/Open-TC-D07.2-V-and-V-report-2.pdf
10. P. Emanuelsson and U. Nilsson. A Comparative Study of Industrial Static Analysis Tools. Linköping University Electronic Press, 2008.