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]
@inproceedings{NakajimaT06-0,
title = {Formal specification and analysis of JAAS framework},
author = {Shin Nakajima and Tetsuo Tamai},
year = {2006},
doi = {10.1145/1137627.1137637},
url = {http://doi.acm.org/10.1145/1137627.1137637},
researchr = {https://researchr.org/publication/NakajimaT06-0},
cites = {0},
citedby = {0},
pages = {59-64},
booktitle = {Proceedings of the 2006 international workshop on Software engineering for secure systems, SESS 2006, Shanghai, China, May 20-21, 2006},
editor = {Danilo Bruschi and Bart De Win and Mattia Monga},
publisher = {ACM},
isbn = {1-59593-411-1},
}