Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2023/03/01 Vol. E106-ANo. 3 ;
pp. 341-349 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: in-vehicle security, security design, risk analysis, TP15002, CWSS,
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2012/05/01 Vol. E95-DNo. 5 ;
pp. 1342-1354 Type of Manuscript: Special Section PAPER (Special Section on Formal Approach) Category: Formal Methods Keyword: risk analysis, business process, formal methods,