netail.net

自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．

2003-10-17 古い日記からの変換データ [長年日記] ▲

Nevin Heintze, Jon G. Riecke:The SLam Calculus: Programming with Secrecy and Integrity

情報流(Information Flow)解析の論文．Direct Read, Indirect Read というのを区別して，変数ごとの，いわゆるセキュリティクラスをどうやって求めていくかを示している．

今のところ厳密な情報流解析は使わないのだけど，使うことになったらこのあたりを参考にすることになるかもしれない．

ドレスコードの見本(?) http://www.venus-cruise.co.jp/dress.html

"フォーマル" な場所は行く機会なさそうだ．

ウィルス関連の雑学？クイズ．http://itpro.nikkeibp.co.jp/free/ITPro/ITBASIC/20031015/1/

ウィルスの名前なんて興味がないから苦戦したが，Q.6, 7, 9, 10 だけは何とか正解．40点で低いなー，と思っていたら平均は27点．88人中8位だった．