loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
16th IEEE International Conference on Automated Software Engineering (ASE'01)
San Diego, California
November 26-November 29
ISBN: 0-7695-1426-X
ASCII Text
x 
 
Pascal Fenkam, "Security Specification and Verification," Automated Software Engineering, International Conference on, pp. 434, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2001.989847,
author = {Pascal Fenkam},
title = {Security Specification and Verification},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2001},
isbn = {0-7695-1426-X},
pages = {434},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989847},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Security Specification and Verification
SN - 0-7695-1426-X
SP
EP
A1 - Pascal Fenkam,
PY - 2001
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
Pascal Fenkam, Technical University of Vienna, Austria
Formalizing security requirements has received a significant attention since the 70s. However, a general method for specifying security requirements is still missing. Especially, little work has been presented on specifying and verifying that a given application is a secure resource consumer. The purpose of this work is to set up a methodology for (1) specifying security requirements of service providers and (2) proving that some application securely uses some resources. The developed theory will be evaluated and applied in two different areas: secure mobile code development and secure COTS-based software development.
Citation:
Pascal Fenkam, "Security Specification and Verification," ase, pp.434, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.