FOCARDI R について
Univ. Ca’ Foscari di Venezia, Mestre(Ve), ITA について
GORRIERI R について
Univ. Bologna, Bologna, ITA について
IEEE Transactions on Software Engineering について
コンピュータセキュリティ について
バイシミュレーション について
データ保護 について
計算理論 について
安全性 について
チェッカ について
情報フロー について
検証 について
ツール について