A formal specification in JML of the Java security package

Authors: Poonam Agarwal, Carlos E. Rubio-medrano, Yoonsik Cheon, Patricia J. Teller

Contributors: The Pennsylvania State University CiteSeerX Archives

Source: http://www.cs.utep.edu/~cheon/techreport/tr06-13.pdf.

Subject Terms: formal specification, application programming interface, security, programming by contract, pre and postconditions, JML language. 1998 CR Categories, D.2.4 [Software Engineering] Software/Program Verification — class invariants

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.6567

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.124.6567
http://www.cs.utep.edu/~cheon/techreport/tr06-13.pdf