Catch文を使わなかったので，受け取られなかったThrowに関するメッセージが出されます．ページの処理中にこのメッセージが出されると，デフォルトハンドラがこれを捕えます．この際，一般的には何らかの適切なテキストが挿入されます．ページの作者がこれらの例外を受け取って，何らかの特別なエラーメッセージを発することも可能です．

ここに，攻撃として送られそうな，扱いにくい式があります．

InsecureExprQ[ HoldComplete[ Run[ "telnetd"]]]

True

妥当性の検証は，全シンボルをリストにして，そのリストを短くしていくことで実行されます．実行後も残っているシンボルがあれば，その式は安全ではありません．このプロセスは一連のシンボルとコンテキスト名のリストを次の手順で認証／否認する形で行われます．

AllowedContextsがリストの場合，このリストに含まれるコンテキストのシンボルを除く．

AllowedContextsがリストでなければ，DisallowedContextsの中に含まれないコンテキストのシンボルを除く．

AllowedSymbolsがリストなら，このリストの中のシンボルを除く．

AllowedSymbolsがリストでなければ，DisallowedSymbolsの中にはないシンボルを除く．

シンボルが残らなければ，式は安全である．その他の場合，式は安全ではない．

このテストは限定的にも柔軟にも使えます．「allowed」のリストを使うと，限定的になり，セキュリティも高まります．「disallowed」のリストを使うと限定度は下がり，セキュリティも低くなります．どのようにバランスを取るかは個々のサイトによります．

サーバがスタートするとデフォルトのセキュリティモデルがインストールされます．これは以下のようなものです．

MSP`Utility`AllowedContexts

{"Global`"}

MSP`Utility`DisallowedContexts

MSP`Utility`DisallowedContexts

MSP`Utility`AllowedSymbols

HoldComplete[Plus, Times, Power, Sqrt, Log, Exp, HoldComplete, ∞, , , °, GoldenRatio, Catalan, EulerGamma, OutputForm, StandardForm, List, Sin, Cos, Tan, Sec, Csc, Cot, Sinh, Cosh, Tanh, Sech, Csch, Coth, ArcSin, ArcCos, ArcTan, ArcSec, ArcCsc, ArcCot, ArcSinh, ArcCosh, ArcTanh, ArcSech, ArcCsch, ArcCoth, True, False, Derivative, D, Dt, ⅈ, Greater, Less, GreaterEqual, LessEqual, Inequality, Equal, Re, Im, Abs, Sign, Conjugate, Arg, Round, Floor, Ceiling, Max, Min, Mod, Quotient, Not, And, Or, Xor, Union, Intersection, Complement, AiryAi, AiryAiPrime, AiryBi, AiryBiPrime, BesselJ, BesselK, BesselI, BesselY, Factorial, Binomial, Multinomial, Gamma, Beta, LogGamma, PolyGamma, LegendreP, SphericalHarmonicY, HermiteH, LaguerreL, Erf, Erfc, Erfi, InverseErf, InverseErfc, ClebschGordan, ThreeJSymbol, SixJSymbol, Zeta, FresnelS, FresnelC, CosIntegral, SinIntegral, ExpIntegralE, ExpIntegralEi, SinhIntegral, CoshIntegral, HypergeometricPFQ, Hypergeometric0F1, Hypergeometric1F1, Hypergeometric2F1, HypergeometricPFQRegularized, MeijerG, AppellF1, EllipticK, EllipticF, EllipticE, EllipticPi, JacobiZeta, EllipticNomeQ, EllipticLog, InverseEllipticNomeQ, JacobiAmplitude, EllipticExp, DiracDelta, UnitStep, DiscreteDelta, KroneckerDelta, Identity, Function, Slot, GrayLevel, Hue, RGBColor, CMYKColor, Automatic, None, All, Null, O, C]

MSP`Utility`DisallowedSymbols

MSP`Utility`DisallowedSymbols

このモデルでは，Global`コンテキストに含まれるシンボルすべてと，多くの特別なシンボルが認められます．これは高度のセキュリティを提供する，かなり限定的なモデルです．