Paper Info
Title
Ownership and Immutability Inference for UML-Based Object Access Control
Abstract
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.
Year
DOI
Venue
2007
10.1109/ICSE.2007.61
ICSE
Keywords
Field
DocType
reverse engineering tool,java programs,inference analysis,software quality,object access control,uml association,novel static ownership,software design principle,software security,effective reasoning,reverse engineering,immutability inference,uml-based object access control,uml,immutability constraint,unified modeling language,immutability inference analysis,software engineering,software design principles,immutability constraints,access control,design patterns,empirical study,software maintenance,java,software design,security,computer science
Programming language,Software design,Software engineering,Systems engineering,Unified Modeling Language,Computer science,Inference,Software security assurance,Reverse engineering,Immutability,Software maintenance,Software quality
Conference
Volume
ISSN
ISBN
546-549
0270-5257
0-7695-2828-7
Citations 
PageRank 
References 
8
0.65
21
Authors
2
Name
Order
Citations
PageRank
Yin Liu11749.07
Ana Milanova266337.98