休暇届 が届いています   _| ̄|○ -7ページ目

本日の研究会リンク ~アンビエント・インテリジェンスとD-Cubicの可能性~


アンビエント・インテリジェンス
http://ascii24.com/news/i/tech/article/2002/07/20/637379-000.html?geta



D-Cubic ライブドア 月額525円 無線LAN


  ライブドアの無線LANに疑問をぶつけてみました
  http://www.atmarkit.co.jp/fnetwork/column/narumono03/01.html
  
  野村総研が分析、「ライブドア『D-cubic』のハードルは高い」
  http://www.atmarkit.co.jp/news/200507/27/nri.html





博士論文と論文博士


大学院と博士号
http://blog.goo.ne.jp/jason_suzuki/e/ecd0a034258aeae1270ed999013ec1a4



博士課程「短期コース」と「頭の構造改革」
http://blog.goo.ne.jp/jason_suzuki/e/aeab63de61d6ca8c486bd96f773835e1


難しい問題...





複雑ネットワークの書籍

複雑ネットワークの科学
http://www.amazon.co.jp/exec/obidos/ASIN/4782851510/ref=ase_mixi02-22/249-1275092-2867501


スモールワールド・ネットワーク―世界を知るための新科学的思考法
http://www.amazon.co.jp/exec/obidos/ASIN/4484041162/ref=pd_sim_dp_1/249-1275092-2867501


新ネットワーク思考―世界のしくみを読み解く
http://www.amazon.co.jp/exec/obidos/ASIN/4140807431/ref=pd_sim_dp_4/249-1275092-2867501




タイゾーだそうです.

DVD レコーダー
http://www.tyzoh.jp/modules/weblog/


ユニシスなのに,タイゾーだそうです.

100均のダイソーと間違いそう...

ニセモノ写真館から

いいなぁ

ドラゴソポール

http://www.jetro-pkip.org/photo/03090101

IACR

International Association for Cryptologic Research
http://www.iacr.org/index.html


安全性研究会

(社)電子情報通信学会 安全性研究会
http://202.250.71.190/public_html/anzen/index.htm


http://202.250.71.190/public_html/anzen/programs/program20050726.htm
日時:平成17年7月26日(火)  10:30~17:00
会場:東京海洋大学越中島会館(旧2号館)
   所在地:江東区越中島2-1-6
   交通手段:JR越中島駅2番出口前



(社)電子情報通信学会 信頼性研究会
http://www.ieice.or.jp/~r/

Program - SKEW 2005

認証プロトコルの検証と解析

認証プロトコルの検証と解析
http://anzen.is.titech.ac.jp/Anzen2000/slides/HAGIYA.pdf


セキュリティ教育における形式的手法(の教育)
http://www.imc.sut.ac.jp/ssr2001/PDF/hagiya.pdf


抽象モデル検査のための グラフ探索アルゴリズムの 形式化と検証
http://unit.aist.go.jp/cvs/consortium/2002-11-22.ppt


The Model Checker SPIN (SPIN概要)
http://spinroot.com/spin/Doc/ieee97.pdf



プロトコルの検証 Loweのアタック
http://unit.aist.go.jp/cvs/consortium/2002-11-22.ppt

モデル検査と証明支援系
http://nicosia.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/vs/2003-matome.ppt


抽象モデル検査のための グラフ探索アルゴリズムの 形式化と検証

# 特に,プロトコルの検証 Loweのアタック

nicosia.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougir...

# 特に,モデル検査と証明支援系の reference




テキスト掲載サイト

ストランドによるプロトコルの検証
http://nicosia.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/vs/strand.txt
 # 2者間のプロトコル 例: Needham ...

時相論理メモ
http://nicosia.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/vs/l.txt
 # 状態遷移システム 状態(state)の集合 状態遷移関係 ...

Kerberos(ケルベロス)入門
http://www.rccm.co.jp/~juk/krb/beginkrb.txt
 # 計算力学研究センター 技術開発部 ...