Security Engineering - A Guide to Building Dependable Distributed Systems

2008年4月に第2版が出るようです。

Security Engineering - A Guide to Building Dependable Distributed Systems

もう、アマゾンで予約を受け付けています。

ちなみに、下記は日本語版

情報セキュリティ技術大全―信頼できる分散システム構築のために (単行本)

OCLとMDAの密な関係？

ＯＣＬとは？

• Object Constraint Language - Wikipedia
• The Object Constraint Language: Precise Modeling With Uml
• UML 2.0 OCL Final Adopted specification@OMG

ツール

• OCL Center & Otopus tool
• Dresden OCL Toolkit
• Borland Together：OCL＆ＭＤＡ（ＱＶＴ）ののサポート

会議

• Formal Methods for Components and Objects

ＭＤＡとは？

• MDAのしくみ＠ＩＴ
• ビジネスアプリケーション分野におけるMDAの限界と活用
• OMG Model Driven Architecture @ OMG
• MDAのエッセンス

モデル変換言語：ＱＶＴ＆ＡＴＬ

• ATLAS Transformation Language(ATL) - Wikipedia
• eclipse M2M
• MOF QVF Final Adopted Specification

Build Security @ US CERT

Securityに関するさまざまな技術情報がまとめられている。

• Build Security In Home

SQUAREのおばさま

らくがきの音: Security quality requirements engineering (SQUARE) methodology

これを開発した本人（おばさま）に会ってきました。プロセスを定義しているだけで、特にこれといったモデリングやツールを開発しているわけではありませんでした。今後、連携するかもしれません。

Security quality requirements engineering (SQUARE) methodology

CMUで開発された手法
あんまり論文は出していない模様。

Security quality requirements engineering (SQUARE) methodology
Software Engineering for Secure Systems(2005)

Security Quality Requirements Methodology
Technical Report CMU/SEI(2005)

http://www.sei.cmu.edu/publications/documents/06.reports/06sr003.html
Technical Report CMU/SEI(2006)

Context-Aware Pervasive Computing

代表的な研究

Harry ChenのCorBaA

• http://www.csee.umbc.edu/~hchen4/publications.html
  

Karen HenricksenのＣＭＬ

• Developing Context-Aware Pervasive Computing Applications: Models and Approach - Henricksen, Indulska (ResearchIndex)

Timothy W. Finin

DBLP: Timothy W. Finin
この人の論文周辺を読んでいれば最近のエージェントの傾向が分かる

認証局

研究の実験のために、今後は認証局が必須になりそう。
それで、実験用に使えそうな認証局を探してみたけどいいのが見つからない。

やっぱ、自分で立てるしかないのかな。

• OpenSSLを使ったCAの構築
• CA 構築のための OpenSSL の設定
• OpenSSLでの自己認証局(CA)と自己証明書の作成