標題: Discovering anomalies in access modifiers in Java with a formal specification
作者: Yang, W
交大名義發表
National Chiao Tung University
公開日期: 1-Feb-2001
摘要: The Java programming language provides three access modifiers to control the visibility of the members of a class. Though identifying the weaknesses of the access modifiers from the informal semantics stated in the language manual is difficult, this does not mean that the access modifiers provide a sound ground for building secure programs. A rigorous study of the access modifiers with attribute grammars has uncovered several situations that are irregular or counterintuitive. These situations are confusing to programmers and may create weaknesses in Java programs.
URI: http://hdl.handle.net/11536/29884
ISSN: 1097-1408
期刊: JOOP-JOURNAL OF OBJECT-ORIENTED PROGRAMMING
Volume: 13
Issue: 10
起始頁: 12
結束頁: 18
Appears in Collections:Articles