Formal specification and analysis of JAAS framework.

Shin Nakajima, Tetsuo Tamai

Browse the full ICSE paper archive.