CSPモデルの優位性 産業技術総合研究所 情報技術研究部門 磯部祥尚 1 第9回CSP研究会（2012年3月17日） 0:40 講演内容 2 1. CSPモデルの特徴 CSPモデルとは？ 同期型メッセージパッシング通信 イベント駆動 通信相手（チャネル）の自動選択 2. CSPモデルの実装 ライブラリ/言語 CSPモデルの実装例 ローカル/ネットワークチャネル 3. CSPモデルの検証 CSPモデルの記述例 検証ツール 振舞いの等しさ 4. CSPモデルベース開発 並列プログラミングの難しさ CSPによるモデル化、検証、実装 まとめ 理論 CSP 検証 FDR 実装 JCSP 1:20 CSPモデルの特徴 3 CSPモデルとは？ 同期型メッセージパッシング通信 イベント駆動 通信相手（チャネル）の自動選択 1:20 P1
In my previous post, I explored how programming with promises can be made close to programming with values. After some more work on it, and some learning from bluebird, I came to conclude that my brain doesn’t think well with promises. So I wrote a macro for Javascript that expands “tasks” into async state machines that communicate using channels (i.e. CSP). I want to talk about the specific optio
Content-Security-Policy の nonce を利用すると、XSS の脅威をかなり軽減できます。 そこで、Web Application Framework ではデフォルトで対応したほうがよいのではないか、という旨を @hasegawayosuke さんから教えて頂いたので、実装について考えてみました。 とりあえず CSP の nonce はどういうものなのかを考慮するために、コード例を探していたのですが、実際に動くサンプルというものが nonce 関連のもので見当たりませんでした。 そこで、実際に動くサンプルを用意しました。 https://github.com/tokuhirom/csp-nonce-sample 以下は Sinatra で書かれたサンプルコードです。 require 'sinatra' require 'securerandom' get '/' d
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
