loading...
Ownership and Immutability Inference for UML-Based Object Access Control
Minneapolis, Minnesota May 20-May 26
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.6129th International Conference on Soft ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Yin Liu, Ana Milanova, "Ownership and Immutability Inference for UML-Based Object Access Control," Software Engineering, International Conference on, pp. 323-332, 29th International Conference on Software Engineering (ICSE'07), 2007.
 
 
BibTex
x
 
@article{ 10.1109/ICSE.2007.61,
author = {Yin Liu and Ana Milanova},
title = {Ownership and Immutability Inference for UML-Based Object Access Control},
journal ={Software Engineering, International Conference on},
volume = {0},
year = {2007},
issn = {0270-5257},
pages = {323-332},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICSE.2007.61},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering, International Conference on
TI - Ownership and Immutability Inference for UML-Based Object Access Control
SN - 0270-5257
SP323
EP332
A1 - Yin Liu,
A1 - Ana Milanova,
PY - 2007
KW - null
VL - 0
JA - Software Engineering, International Conference on
ER -
 
Yin Liu, Rensselaer Polytechnic Institute
Ana Milanova, Rensselaer Polytechnic Institute
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verification of these constraints through reverse engineering. These constraints inherently support software design principles, and impose requirements on the implementation that may help prevent serious program flaws.

We propose implementation-level models for ownership and immutability that capture well the meaning of these concepts in design, and we develop novel static ownership and immutability inference analyses. We perform an empirical investigation on several small-to-large Java programs. The results indicate that the inference analyses are precise and practical. Therefore, the analyses can be integrated in reverse engineering tools and can help support effective reasoning about software quality and security.

Citation:
Yin Liu, Ana Milanova, "Ownership and Immutability Inference for UML-Based Object Access Control," icse, pp.323-332, 29th International Conference on Software Engineering (ICSE'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.