ruby-dev

前田です。

2009/07/20 10:51 に Tanaka Akira<akr@fsij.org> さんは書きました:
>> === ライブラリにおけるuntaint
>>
>> メソッドの引数などでユーザから与えられたデータが汚染されたオブジェクト
>> でない場合は、ユーザが指定した操作の実行を意図していると判断し、処理の
>> 実行に必要な内部データのuntaintは、ライブラリ側で行うことが望ましい。
>>
>> ライブラリ内部で生成されるオブジェクトについては、ライブラリのユーザ側
>> からuntaintすることができないため、上記のようなuntaintを行わないと、そ
>> のライブラリをセーフレベル1以上では利用することができないためである。
>
> これだけだと untaint しても安全かどうかどうやって判断したら
> いいのかわかりませんねぇ。
>
> 動かなかったら何も考えずに untaint するのが正しいとはちょっ
> と思えませんし。
>
> 安全性について何を考えて検討すればいいのかというところがわか
> りません。

以前書いたことの繰り返しになりますが、セーフレベル1〜3のtaint機構は
あくまでもアプリケーションプログラマのミスに対するフェールセーフ機構
であり、安全性の確認はライブラリ側ではなくアプリケーション側の責任だと
考えています。
今のセキュリティモデルでは、アプリケーションから渡されたオブジェクトが
汚染されていない場合は、ライブラリはアプリケーションに指示された通りに
動作することが期待されているように思います。
# 設計者のまつもとさんに違うと言われれば別ですが。

中途半端だと言われればそうかもしれませんが、まずは現在の設計の意図
を明確にしたいと思います。
その上で、変えた方がよい、あるいはいっそのことなくしてしまった方がよい、
といった議論をしたいです。

-- 
Shugo Maeda

Thread

Prev Next

In This Thread

Prev Next

[#38724] [ANN] Ruby開発会議のお知らせ — "Yugui (Yuki Sonoda)" <yugui@...>

[#38725] [Bug #1720] [NaN] == [NaN] が true になる — tadayoshi funaba <redmine@...>

[#38726] [Bug #1721] NaN.divmod(NaN) が例外にならない — tadayoshi funaba <redmine@...>

[#38728] open-uri の content_type — Kazuhiro NISHIYAMA <zn@...>

[#38731] FreeBSD で ruby-mecab のライブラリ参照の不具合 — "KISHIMOTO, Makoto" <ksmakoto@...4u.or.jp>

[#38738] [Bug #1720] [NaN] == [NaN] が true になる — tadayoshi funaba <redmine@...>

[#38740] [Backport #1329] Ruby 1.8.8 で "p eval('0' + '+0.1'*n)" が Segmentation Fault を発生させる — Shyouhei Urabe <redmine@...>

[#38745] A proposal for announcing a release of ruby to ruby distributors — "Yugui (Yuki Sonoda)" <yugui@...>

[#38756] rb_obj_untrust, rb_obj_untrusted, rb_obj_trust — Hidetoshi NAGAI <nagai@...>

[#38760] [Bug #1763] SecurityError on an Exception object because of modification of instance variable #__ThrowState__ — Hidetoshi Nagai <redmine@...>

[#38761] Re: [ruby-cvs:31084] Ruby:r23862 (trunk): * io.c (argf_rewind): need to rewind $. and ARGF.lineno. — "Yugui (Yuki Sonoda)" <yugui@...>

[#38762] Re: [ruby-cvs:31110] Ruby:r23892 (trunk): * rational.c (float_to_r): always returns rational. — "Yugui (Yuki Sonoda)" <yugui@...>

[#38766] [Bug #1768] json で Kernel に追加されるメソッドは private であるべき — okkez _ <redmine@...>

[#38767] [BUG:trunk] eval with binding, without location — "Yugui (Yuki Sonoda)" <yugui@...>

[#38769] RCLASS_M_TBL() の構造の変更 — SASADA Koichi <ko1@...>

[#38770] [Bug #1694](Closed) Tempfile.open{} の返り値 — Yuki Sonoda <redmine@...>

[#38771] [Bug #1720](Assigned) [NaN] == [NaN] が true になる — Yuki Sonoda <redmine@...>

[#38777] [Bug #1768](Assigned) json で Kernel に追加されるメソッドは private であるべき — Yui NARUSE <redmine@...>

[#38782] [Bug:trunk] Re: [ruby-cvs:31281] Ruby:r24063 (trunk): * ext/tk/extconf.rb: New strategy for searching Tcl/Tk libraries. — "U.Nakamura" <usa@...>

[#38786] [Bug #1701](Closed) Regexp#match の pos 引数がマルチバイト文字に対応していない — Yui NARUSE <redmine@...>

[#38815] Ruby会議懇親会でリジェクトされてしまった forwardable.rb につ いて — keiju@... (Keiju ISHITSUKA)

[#38820] [Bug #1787] URI ライブラリの正規表現パターン — drry <redmine@...>

[#38821] セキュリティモデルのドキュメント — Shugo Maeda <shugo@...>

[#38822] [Bug #1787] URI ライブラリの正規表現パターン — drry <redmine@...>

[#38823] [Bug #1787] URI ライブラリの正規表現パターン — drry <redmine@...>

[#38824] [Bug #1788] ある種のメソッドをalias_methodしようとすると落ちる — Akira Matsuda <redmine@...>

[#38826] [Bug #1789] TCPSocket#read returns untainted string — Masahiro Tomita <redmine@...>

[#38828] [Bug #1790] [patch] fix error message in Addrinfo#family_addrinfo — Nobuhiro IMAI <redmine@...>

[#38829] [Bug #1791] r24205,r23960,r23892,r23871 をバックポートする — tadayoshi funaba <redmine@...>

[#38830] [Bug #1792] Fixnum#& 等が、Rational などを受けつける — tadayoshi funaba <redmine@...>

[#38834] 無名クラスを定数に代入する前後の、その内側のクラスの名前 — wanabe <s.wanabe@...>

[#38835] DelegateClass元のクラスのprotectedメソッドが呼び出せない — Akira Matsuda <ronnie@...>

[#38836] ext/tk/extconf.rb creates a file in $srcdir — "U.Nakamura" <usa@...>

[#38843] 複素数リテラルについて — Yukihiro Matsumoto <matz@...>

[#38848] [Bug #1803] rdocがサイズ0のファイルのバイナリ判定に失敗する — Sakuro OZAWA <redmine@...>

[#38849] [Bug #1804] ext/socket/mkconstants.rb doesn't recognize enum'ed constants — Usaku NAKAMURA <redmine@...>

[#38850] Rational#hash — Tadayoshi Funaba <tadf@...>

[#38877] Re: [Backport #1183] Adding support for the new hash literal syntax — Urabe Shyouhei <shyouhei@...>

[#38882] [Bug #1807] r+ オープンしたファイルが MinGW の拡張ライブラリで扱えない — Kimura Yoshihiro <redmine@...>

[#38887] ext/tk/extconf.rb should call find_library in all paths — "U.Nakamura" <usa@...>

[#38900] rb_eval_string_protect and encoding — Masaki Suketa <masaki.suketa@...>

[#38903] [Backport #1817] bug of ARGF.eof? — Nobuyoshi Nakada <redmine@...>

[#38912] String#valid_encoding?にオプションが欲しい — Fujioka <fuj@...>

[#38914] [Bug #1819] Ruby-1.9.1を使用しDB（MySQL）接続時にエラー — Ryouhei Saita 斉田 <redmine@...>

[#38924] thread switch hook for RubyCocoa — Nobuyoshi Nakada <nobu@...>

[#38929] [Bug #1826] json で無駄な private 指定がある — okkez _ <redmine@...>

[#38932] Enumerator#peek — Tanaka Akira <akr@...>

[#38936] [Bug #1826](Closed) json で無駄な private 指定がある — Yui NARUSE <redmine@...>

[#38938] Re: [ruby-list:46234] Re: irbでの式展開中の動作について — keiju@... (石塚圭樹)

[#38942] Test failure (test_block.rb) in Ruby 1.9.2 preview1 on FreeBSD 6.0 — Hiroshi Ichikawa <gimite@...>

[#38961] [Bug #1837] Test failure (test_block.rb) in Ruby 1.9.2 preview1 on FreeBSD 6.0 — Hiroshi Ichikawa <redmine@...>

[#38962] [Feature #1840] Hash に要素追加して self を返すメソッド — Kimura Yoshihiro <redmine@...>

[#38968] [Bug #1842] mspec で SIGABRT — Kazuhiro NISHIYAMA <redmine@...>

[#38971] [Bug #1848] Net::SSH hangs — Shyouhei Urabe <redmine@...>

[ruby-dev:38889] Re: セキュリティモデルのドキュメント

Thread

In This Thread

[#38760] [Bug #1763] SecurityError on an Exception object because of modification of instance variable #ThrowState — Hidetoshi Nagai <redmine@...>

[#38815] Ruby会議懇親会でリジェクトされてしまった forwardable.rb について — keiju@... (Keiju ISHITSUKA)

[#38820] [Bug #1787] URI ライブラリの正規表現パターン — drry 　 <redmine@...>

[#38822] [Bug #1787] URI ライブラリの正規表現パターン — drry 　 <redmine@...>

[#38823] [Bug #1787] URI ライブラリの正規表現パターン — drry 　 <redmine@...>