「メモ/セキュリティ」の編集履歴（バックアップ）一覧はこちら

「メモ/セキュリティ」(2009/09/22 (火) 21:56:46) の最新版変更点

追加された行は緑色になります。

削除された行は赤色になります。

#contents

-[[Designing High-Security Systems>http://www.adacore.com/2007/07/02/designing-high-security-systems/]]

*ジャーナル
-[[International Journal of Secure Software Engineering>http://www.igi-global.com/journals/details.asp?id=34297]]

*文献
-[[Updatable Security Views>http://www.cis.upenn.edu/~jnfoster/]], CSF 2009


**デザインパターン
-[[Secure Design Patterns>http://www.sei.cmu.edu/publications/documents/09.reports/09tr010.html]], TR 2009

#contents

-[[Designing High-Security Systems>http://www.adacore.com/2007/07/02/designing-high-security-systems/]]

*ジャーナル
-[[International Journal of Secure Software Engineering>http://www.igi-global.com/journals/details.asp?id=34297]]

*文献
-[[Information Flow for Secure Distributed Applications>http://pmg.csail.mit.edu/pubs/]], Ph.D. dissertation 2009

-[[Updatable Security Views>http://www.cis.upenn.edu/~jnfoster/]], CSF 2009


**デザインパターン
-[[Secure Design Patterns>http://www.sei.cmu.edu/publications/documents/09.reports/09tr010.html]], TR 2009