Formal specification and analysis of JAAS framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Shin Nakajima' in GoogleThis author has not been identified. Look up 'Tetsuo Tamai' in Google

runs on WebDSL