Shinsaku Kiyomoto, Haruki Ota, Toshiaki Tanaka
On-the-Fly Automatic Generation of Security Protocols
ICEIS, 2008.
@inproceedings{ICEIS-ISAS2-2008-KiyomotoOT,
author = "Shinsaku Kiyomoto and Haruki Ota and Toshiaki Tanaka",
booktitle = "{Proceedings of the 10th International Conference on Enterprise Information Systems, Volume 3.2: ISAS}",
isbn = "978-989-8111-38-8",
pages = "97--104",
title = "{On-the-Fly Automatic Generation of Security Protocols}",
year = 2008,
}