Shin Nakajima, Tetsuo Tamai. Formal specification and analysis of JAAS framework. In Danilo Bruschi, Bart De Win, Mattia Monga, editors, Proceedings of the 2006 international workshop on Software engineering for secure systems, SESS 2006, Shanghai, China, May 20-21, 2006. pages 59-64, ACM, 2006. [doi]
Abstract is missing.