Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2023/02/01 Vol. E106-DNo. 2pp. 181-194 Type of Manuscript: PAPER Category: Information Network Keyword: trust, metric, protocol, soundness, stability, subjective logic,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/09/01 Vol. E91-ANo. 9pp. 2597-2606 Type of Manuscript: PAPER Category: Cryptography and Information Security Keyword: formal methods, anonymity, software security, verification, theorem-proving,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2008/04/01 Vol. E91-ANo. 4pp. 1112-1120 Type of Manuscript: Special Section PAPER (Special Section on Selected Papers from the 20th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: formal methods, anonymity, software security, verification, theorem-proving,