Blar i Bergen Open Research Archive på forfatter "Mancini, Federico"
-
Investigating the Limitations of Java Annotations for Input Validation
Mancini, Federico; Hovland, Dag; Mughal, Khalid A. (Chapter; Peer reviewed, 2010)Recently Java annotations have received a lot of attention as a possible way to simplify the usage of various frameworks, ranging from persistence and verification to security. In this paper we discuss our experiences in ... -
The SHIP Validator: An Annotation-based Content-Validation Framework for Java Applications
Mancini, Federico; Hovland, Dag; Mughal, Khalid A. (Chapter; Peer reviewed, 2010)In this paper, we investigate the use of Java annotations for software security purposes. In particular, we implement a framework for content validation where the validation tests are specified by annotations. This approach ...