loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2007 The Third International Symposium on Information Assurance and Security
Team Edit Automata for Testing Security Property
Manchester, United Kingdom
August 29-August 31
ISBN: 0-7695-2876-7
ASCII Text
x 
 
Zhenrong Yang, Aiman Hanna, Mourad Debbabi, "Team Edit Automata for Testing Security Property," Information Assurance and Security, International Symposium on, pp. 235-240, 2007 The Third International Symposium on Information Assurance and Security, 2007.
 
 
BibTex
x
 
@article{ 10.1109/IAS.2007.45,
author = {Zhenrong Yang and Aiman Hanna and Mourad Debbabi},
title = {Team Edit Automata for Testing Security Property},
journal ={Information Assurance and Security, International Symposium on},
volume = {0},
year = {2007},
isbn = {0-7695-2876-7},
pages = {235-240},
doi = {http://doi.ieeecomputersociety.org/10.1109/IAS.2007.45},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Information Assurance and Security, International Symposium on
TI - Team Edit Automata for Testing Security Property
SN - 0-7695-2876-7
SP235
EP240
A1 - Zhenrong Yang,
A1 - Aiman Hanna,
A1 - Mourad Debbabi,
PY - 2007
KW - null
VL - 0
JA - Information Assurance and Security, International Symposium on
ER -
 
Zhenrong Yang, Concordia University, Canada
Aiman Hanna, Concordia University, Canada
Mourad Debbabi, Concordia University, Canada
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their correlation in the software programs. The component automata can suppress and insert actions and report possible flaws. They are used to specify individual security properties. The team is composed of multiple component automata interacting through shared actions. It models the situation where some program events are concerned by multiple security properties jointly. The paper concludes by a case study of detecting memory management and pointer manipulation flaws in C/C++ programs.
Citation:
Zhenrong Yang, Aiman Hanna, Mourad Debbabi, "Team Edit Automata for Testing Security Property," ias, pp.235-240, 2007 The Third International Symposium on Information Assurance and Security, 2007
Usage of this product signifies your acceptance of the Terms of Use.