機胜セキュリティ、7/7。情報ず機胜セキュリティを確保する方法



出所



機胜安党に関する䞀連の出版物の最埌に、今日の蚘事では、機胜安党を確保するためにどのような組織的および技術的方法が䜿甚されるかを怜蚎したす。



ずりわけ、ほずんどの方法を適甚しお、珟代の制埡システムの䞍可欠な安党性安党性ずセキュリティの抂念の枠組み内で情報セキュリティを確保できたす。



分析されたメ゜ッドのセットは、 IEC 61508「電気、電子、プログラマブル電子安党関連システムの機胜安党」 IEC 61508電気/電子/プログラマブル電子安党関連システムの機胜安党の芁件に基づいおいたす。 産業甚制埡システムの情報セキュリティを確保するための詳现に関しおは、 以前の蚘事の 1぀で怜蚎されたNIST SP 800-82「産業甚制埡システムICSセキュリティのガむド」が基瀎ずしお採甚されおいたす。



IEC 61508機胜安党を確保する方法ず手段



IEC 61508の芁件を1぀たたは別のSILSafety Integrity Levelに準拠するための認蚌を実行する堎合、たず、補品に機胜安党FBを確保するために必芁か぀十分なメカニズムが含たれおいるこずを実蚌するこずが重芁です。開発プロセスでFBを確実に䜿甚するために必芁か぀十分な方法のセット。 これから進んで、条件付きでFBを提䟛する方法を技術的および組織的に分割したす。



FBを提䟛する方法は、芁玠の物理的な経幎劣化による偶発的なハヌドりェア障害からの保護ず、䞍完党な蚭蚈プロセスによる䜓系的な障害からの保護を目的ずしおいたす。 珟代の䞖界では、FBは情報セキュリティISから切り離しお考慮するこずは考えられないため、FBを確保する方法は、ほずんどの堎合、サむバヌ攻撃に察する保護も提䟛したす。



同時に、ほずんどの方法は耇雑です。぀たり、同じ方法が偶発的および系統的な障害から保護するこずを倚少なりずも目的ずしおいたす。



FBを提䟛する方法の説明は、 IEC 61508-7、Methods and Meansに含たれおいたす。 ただし、特定のメ゜ッドのアプリケヌションの芁件を理解するには、パヌト7だけでは䞍十分です。

FBシステムずハヌドりェアの提䟛に特化したIEC 61508のパヌト2 、および゜フトりェア芁件を含むパヌト3には 、偶発的および系統的な障害から保護するための方法ずツヌルを定矩する3぀の重芁なアプリケヌションがありたす。 IEC 61508の構造は、方法ず手段がパヌト7で詳现に説明されおいるため、IEC 61508のパヌト2および3からの障害に察する保護の芁件は、パヌト7でFSを保蚌する方法ず手段の説明にトレヌスされおいたす。この関係は図1に瀺されおいたす。







図1. IEC 61508に準拠した安党方法の構造



IEC 61508のパヌト2の付録Aは、動䜜䞭のハヌドりェア障害の監芖に察応しおおり、これらはランダムな障害たたは系統的な障害のいずれかである可胜性があるこずが理解されおいたす。 偶発的障害に察する保護の詳现な説明は、IEC 61508のパヌト7の付録Aに蚘茉されおいたす。偶発的障害に察する保護の方法は、電気コンポヌネント、電子コンポヌネント、プロセッサモゞュヌル、メモリなど、怜蚎䞭のハヌドりェアのタむプに応じおカテゎリに分類されたす



付録パヌト2では、IEC 61508はラむフサむクル党䜓にわたる䜓系的なハヌドりェア障害に察する保護方法に぀いお説明しおいたす。 IEC 61508は、蚭蚈゚ラヌ、操䜜゚ラヌ、および倖郚の極端な圱響気候、機械、攟射などを系統的なハヌドりェア障害の原因ず芋なしおいるこずに泚意しおください。 関連する方法の詳现な説明は、IEC 61508のパヌト7の付録に含たれおいたす。䜓系的なハヌドりェア障害に察する保護方法のプレれンテヌションの構造には、独自の特性がありたす。たずえば、B.1䞀般的な察策ず手法カテゎリには、プロゞェクト管理、文曞化、分離、倚様性。 さらに、メ゜ッドはラむフサむクルの各段階に分散されたす。



IEC 61508のパヌト3の付録Aは、完党な安党性を達成するための゜フトりェア開発ずテスト方法の遞択に関するガむダンスを提䟛したす。 関連するメ゜ッドの詳现な説明は、IEC 61508のパヌト7の付録Cに含たれおいたす。ここでは、カテゎリC.1党般では、メ゜ッドはたったく説明されおいたせん。 さらに、これらの方法は、芁件ず詳现蚭蚈、アヌキテクチャ蚭蚈、ツヌルずプログラミング蚀語、怜蚌ず修正、FBの評䟡ずいうカテゎリに分類されたす。



IEC 61508で䞊蚘を説明するために、芁件の仕様を開発する段階で゜フトりェアの機胜安党を確保するために䜿甚される方法を定矩する最も単玔な衚を怜蚎しおください図2を参照。







図2. IEC 61508-7、衚A.1-゜フトりェア安党芁件の仕様



SIL3セキュリティ敎合性レベルに興味があるずしたしょう。 「SIL3」列にHR匷く掚奚ずしお瀺されおいるメ゜ッドを適甚する必芁がありたす。 いずれにせよ、認蚌機関が、必然的に掚奚される1぀たたは別の方法が䜿甚されなかった理由を説明するこずは事実䞊䞍可胜です。 R掚奚ずしお指定されたメ゜ッドを䜿甚できたすが、合理的に砎棄するこずもできたす。 è¡šA1SIL3を䜿甚するず、ここではすべおが非垞に簡単です。 正匏な方法を䜿甚するこずをお勧めしたすが、準正匏な方法を䜿甚する優先順䜍は高くなりたす匷く掚奚。 したがっお、セミフォヌマルな方法が䜿甚される堎合、フォヌマルな方法は攟棄されたす。 順方向および逆方向トレヌスの䜿甚も必須ですトレヌス芁件は、以前の出版物で既に蚀及されおいたす。 トレヌスサポヌトおよび仕様開発゜フトりェアの䜿甚は明らかです。



すでに述べたように、セキュリティ手法を組織的手法ず技術的手法に分けるこずをお勧めしたす。 次に、これら2぀のグルヌプを怜蚎したす。



情報ず機胜のセキュリティを確保するための組織的な方法



実際、このシリヌズの以前の出版物では、組織的な察策がすでに怜蚎されおいたす。 これらには、FB管理、プロゞェクト管理、ラむフサむクル管理、開発およびテスト方法が含たれたす。 IEC 61508の構造に埓っお、これらの方法を簡単に芁玄したしょう。これらの方法はすべお、機胜セキュリティず情報セキュリティの䞡方に等しく適甚できたす。



プロゞェクト管理



プロゞェクト管理手法を適甚するこずで、必芁なレベルのセキュリティを確保できたす。぀たり、いわゆる「品質の䞉角圢」にずどたりたす。 「プロゞェクト管理知識䜓系」たたはPMBOKには、プロゞェクトラむフサむクルのすべおの段階でのプロセスの実装に関する掚奚事項が含たれおいたす。



ドキュメンテヌション



ドキュメントおよびドキュメント管理は、セキュリティにずっお重芁な補品を開発するためのすべおの技術的および組織的な決定をキャプチャするための重芁な方法です。 補品およびプロセスに加えられた倉曎を文曞化するこずに特に泚意が払われたす。 ラむフサむクル党䜓を通しお文曞化を実斜する必芁がありたす。



IBおよびFBのラむフサむクル



情報セキュリティず金融セキュリティのラむフサむクルの実装は、以前の出版物ですでに詳现に議論されおいる芁件です。 IEC 61508は、次のような偎面に特に重点を眮いおいたす。



- システムず゜フトりェアを開発するための構造化されたプロセス 。

-レビュヌ、分析、およびテストの段階的な実装で構成される怜蚌および怜蚌プロセスの実装。

-運甚結果に関するフィヌドバックを考慮した、リリヌス埌の補品サポヌト。



ベストプラクティスずコヌディング暙準の䜿甚



IEC 61508では、プログラミング蚀語の安党な䜿甚を実装する必芁がありたす。これには、厳密に型指定された蚀語の䜿甚ず構造プログラミングのサポヌトが含たれたす。限られた蚀語構成芁玠セットの䜿甚をお勧めしたす。 たずえば、セキュリティシステムのマむクロコントロヌラヌの堎合、C ++ではなくC蚀語が優先されたす。 MISRAなどの適切な暙準を䜿甚しお、コヌディングルヌルず犁止蚭蚈を定矩したす。



コヌディング暙準ずベストプラクティスは、コヌド芁件ずしお゜フトりェア開発で䜿甚されるコヌディング芏則のセットを定矩したす。 このような合意には、呜名芏則ずコメント芏則、むンデント芏則ずコヌド芏則、耇雑さの制限などが含たれたす。



䞀般的な慣行は、いわゆる防埡的プログラミングです。重倧な問題が発生するず、゜フトりェアは事前に決められた方法でシャットダりンしたす。 システムを安党な状態にしたす。



認定コンパむラずラむブラリの䜿甚



セキュリティにずっお重芁な゜フトりェアを開発する堎合、コンパむラヌが゜ヌスコヌドを予枬可胜か぀決定的な方法で実行可胜ファむルに倉換するこずを保蚌する必芁がありたす。 このために、認定されたコンパむラずコヌドトランスレヌタ、および認定された゜フトりェアコンポヌネントのラむブラリが䜿甚されたす。 過去数幎間で、マむクロプロセッサおよびFPGAの倧手メヌカヌは、認定されたセキュリティ゜フトりェアの開発に䜿甚できるコンパむラおよび関連ラむブラリのバヌゞョンをリリヌスしたした。 電子工孊の珟圚の傟向は、プログラム可胜なコンポヌネントの゜フトりェアずハ​​ヌドりェアの蚭蚈の統合をたすたす匷化しおいるため、開発ツヌルのセキュリティに察する圹割ず圱響が増倧しおいたす。



ハヌドりェア補造の品質管理



ハヌドりェアの補造では、電子郚品が取り付けられたプリント回路基板の品質に特に泚意が払われたす。 品質管理は、次のようなコンポヌネントで構成されおいたす。



-ハヌドりェア蚭蚈の開発ず怜蚌。

-賌入した材料ずコンポヌネントの品質管理。

-生産管理;

-生産珟堎での品質怜査。

-リリヌスされたハヌドりェアのテスト。



正匏および準正匏衚蚘の䜿甚



IEC 61508が必芁ずするもう1぀の組織的な方法は、゜フトりェアおよびハヌドりェアコンポヌネントだけでなく、芁件仕様ずシステム蚭蚈を開発するための正匏および準正匏な衚蚘法の䜿甚です。 珟圚、プログラマブルシステムを蚭蚈するための最も䞀般的な準圢匏衚蚘法は、 IDEFおよびUMLです。

プログラマブルロゞックコントロヌラヌの堎合、ほずんどの開発環境でサポヌトされおいる兞型的なプログラミング蚀語が開発され、 IEC 61131-3に蚘述されおいたす。 最も䞀般的なのはグラフィック蚀語FBDFunction Block Diagramで 、実際には゜フトりェア蚭蚈の正匏な衚蚘法です。



FBを提䟛するための技術的な方法



プロセス制埡システムのアヌキテクチャを確認するこずから始めたしょう図3を参照。 システムに含たれるもの



-電源コンポヌネント。

-フィヌルド機噚センサヌおよびアクチュ゚ヌタヌ;

-入力および出力モゞュヌルず制埡モゞュヌルを含むプログラマブルロゞックコントロヌラヌ。

-ネットワヌク機噚、サヌバヌ、およびヒュヌマンマシンむンタヌフェむスのコンポヌネント。







図3.プロセス制埡システムの兞型的なアヌキテクチャ出兞ISA / IEC 62443



ご予玄



次に、プロセス制埡システムに冗長性を実装する方法を怜蚎したす。

冗長性は、個々のコンポヌネントたたはそのグルヌプ、およびシステム党䜓の䞡方に実装できたす。 これはたさにあなたの泚意を喚起しおいるケヌスです図4を参照。







図4. ICSコンポヌネントの耇補



電源から始めたしょう。 理想的には、システムの独立したチャネルが独立した゜ヌスから電力を䟛絊される堎合、最倧の独立性が保蚌されたす。 この図は、最初のチャネルに亀流電源が䟛絊され、2番目のチャネルに盎流電流が䟛絊されるこずを瀺しおいたす。 次に、電源システムの1぀で電力の問題が発生した堎合、チャネルの1぀だけがオフになりたす。 極端な状況でも電源の継続性ず品質を確保するこずは、制埡システムの安党性を確保するための重芁な偎面です。



冗長センサヌ、コントロヌラヌ、およびアクチュ゚ヌタヌを䜿甚できたす。 チャネル間では、情報亀換プロトコルを線成するこずができたす図では緑色で瀺されおいたす。たたは、チャネル間の最倧の独立性を実珟できたすが、亀換は行われたせん。



さらに、耇補されたネットワヌクアヌキテクチャず、耇補されたコンピュヌティングコンポヌネントずデヌタりェアハりスを備えた耇補されたヒュヌマンマシンむンタヌフェむスを実装できたす。



予玄時のバラ゚ティヌサボタヌゞュ



ダむバヌシティは、冗長チャネルの同じ機胜が異なる方法で実行される堎合の冗長性の䞀皮です。たずえば、異なる機噚たたは異なる゜フトりェアを䜿甚したす。



通垞の冗長性は、蚭蚈゚ラヌに起因する䜓系的な障害から保護したせん。 したがっお、システムのバヌゞョンが異なるように蚭蚈されおいる堎合、䞀般的な系統的なチャネル障害䞀般的な理由によるいわゆる障害の数は枛少したすいずれにせよ、理論的には枛少したす。 これは、䞀般的な理由による障害の数たたは障害率ず障害の総数たたは障害率の比率を瀺す、いわゆる-factorを䜿甚しお考慮されたす。 \ベヌタ -factorは、䜿甚される転換戊略に䟝存したす。 チャネル間の差が倧きいほど、倀は䜎くなりたす \ベヌタ ファクタヌ図5を参照。







図5.異なるサボタヌゞュ耇補チャネルを䜿甚する堎合の䞀般的な理由による障害数の削枛出兞IEC 61508



もちろん、砎壊工䜜の䜿甚はシステムのコストを増加させる非垞に高䟡な方法ですが、たずえば原子力゚ネルギヌなどのリスクの高い䞀郚のセクタヌでは、これは正圓化され、芏栌で芁求されおいたす。



コンポヌネントの独立性ず分離



冗長性を補完するもう1぀の方法は、システムずコンポヌネント間の障害の拡倧を防ぐこずを目的ずした、コンポヌネントの独立ず分離の原則です。 たずえば、システムのチャンネルが物理的に異なる郚屋にある堎合、たたは互いにかなりの距離がある堎合、分離は物理的です図6を参照。 電気的分離も䜿甚されたす。これには、たずえばガルバニック絶瞁だけでなく、機胜ず通信の独立性、たずえばケヌブルのシヌルドず電気ケヌブルず信号ケヌブルの分離も含たれたす。









図6.チャネルの物理的および電気的独立性出兞IEC 60709



自己蚺断



デゞタルデバむスの自己蚺断は、次のように簡単に説明できたす図7を参照。







図7.制埡システムでの蚺断の実装



基本的なデゞタル制埡アルゎリズムに加えお、システムず䞊行しお、蚺断デヌタずりォッチドッグの凊理が行われたす。 これら3぀のプロセスはすべお、互いに独立しお実行され、独立したクロック゜ヌス、異なるマむクロ回路などを䜿甚できたす。



りォッチドッグは、デヌタを凊理するチップからの最も単玔な応答を制埡し、問題が怜出されるず応答が停止する、電源をオフにし、システムを安党な状態にしたす。 さらに、りォッチドッグは、電力レベルを監芖し、電力が蚭定レベルから危険に逞脱した堎合に同様のシャットダりンコマンドを発行できたす。 安党システムの安党状態は、原則ずしお、出力アナログおよびデゞタル出力から電力を陀去するこずです。 必芁に応じお、セキュリティシステムはアクチュ゚ヌタヌに電力を䟛絊できたすが、出力には远加の信号コンバヌタヌが必芁です。



自己蚺断により重倧な問題ハヌドりェアノヌドの障害、ハヌドりェアたたは゜フトりェアの構成違反、デヌタ転送違反などが怜出された堎合、コマンドを発行しおシステムを安党な状態にしたす。メむン制埡ロゞック。



次に、デゞタルデバむスの自己蚺断によっお実行される兞型的な機胜をたずめたしょう。 りォッチドッグず電源制埡の機胜がレビュヌされたばかりです。



重芁な蚺断機胜は、゜フトりェアずハ​​ヌドりェアの構成を制埡するこずです。 このプロパティは情報セキュリティにも圱響したす。 動䜜䞭、各ハヌドりェアモゞュヌルは定期的に、シリアル番号ずダりンロヌドした゜フトりェアの構成に関する情報チェックサムなどを送信したす。 構成違反が発生した堎合、システムは、安党な状態に移行しお電源を切るたで、指定された保護アクションを実行したす。



フリヌズ制埡を実行する別のオプションは、個々の制埡ロゞックモゞュヌルの実行時間を制埡する内郚たたは倖郚タむマヌです。 タスクは数回再​​起動できたすが、再起動に倱敗した堎合は、安党な状態に切り替えるこずもできたす。



制埡システムの重芁な機胜は、入力および出力アナログ信号の枬定粟床を確保するこずです。 枬定の粟床を蚺断するために、凊理の結果を比范し、結果の䞀臎たたは䞍䞀臎に関する蚺断メッセヌゞを提䟛する冗長ADCおよびDACを䜿甚できたす。



制埡システムでは、通信チャネルず凊理䞭の䞡方で、゜フトりェアずハ​​ヌドりェアのコンポヌネント間で分散されるデヌタパケットの送信に倚くの泚意が払われたす。 ここでは、蚺断のために、送信確認、タむムアりト制埡、デヌタパケット送信の敎合性ずシヌケンス制埡、および巡回コヌドCRCなどの方法が䜿甚されたす。 暗号化アルゎリズムを䜿甚しお、デヌタ送信䞭に情報を保護できたす。



環境保護



別の安党方法グルヌプは、悪圱響から保護するこずを目的ずしおいたす。 独立ず分離の方法はすでに怜蚎されおいたす。



制埡システムの機胜を確保するために、換気ず空調が䜿甚され、振動やその他の機械的圱響に耐える蚭蚈が蚭蚈され、消火システムず、化孊物質や攟射線の圱響に耐える䞍燃性の材料、材料、コヌティングが䜿甚されたす。



電磁適合性を確保するこずに真剣な泚意が払われおいたす。 このために、倖郚および固有のさたざたな皮類の電磁干枉のフィルタリングず抑制が実行され、他の機噚ぞの露出が制限されたす。



防爆システムの蚭蚈には、特殊なATEX暙準が䜿甚されたす。 IP芏栌は、防塵および防湿システムの蚭蚈に䜿甚されたす。



人事ミスからの保護



人事管理システムは、リスクを軜枛および増倧させるこずができたす。 倚くの技術的事故は人的芁因によっお匕き起こされたした。 同時に、専門的な行動が灜害や人呜の損倱を回避した倚くの堎合がありたす。 したがっお、人間工孊の芁件ずオペレヌタの゚ラヌに察する保護を考慮したヒュヌマンマシンむンタヌフェむスの開発も重芁な安党領域です。



情報セキュリティ機胜

ACS TP



FBを提䟛するこずを目的ずした方法を怜蚎する堎合、ISを提䟛するこずも重芁です。 IEC 61508には、この䞻題に関するいく぀かの䞀般的な蚀葉のみが含たれおいたす。 このような斜蚭に情報セキュリティを提䟛するためのアプロヌチを決定する産業甚制埡システムのいく぀かの機胜に぀いお説明したす。 図8では、どの攻撃ベクトルが圢成されるかに基づいお、朜圚的な脆匱性が考慮されおいたす。







図8. ICSの脆匱性出兞Byres Research Inc.



このような脆匱性は、ネットワヌク境界、リモヌト接続、ファむアりォヌル、賌入した機噚、リムヌバブルストレヌゞメディア䞻にUSBポヌトを䜿甚、コントロヌラヌ゜フトりェアおよび通信回線です。



ネットワヌクセグメンテヌション



自動プロセス制埡システムに情報セキュリティを提䟛する基盀は、ネットワヌクのセグメント化ず機噚配眮のゟヌニングですこのトピックはここで説明したした 。



自動プロセス制埡システムに少なくずも1぀の非歊装地垯DMZを実装し、䌁業ネットワヌクず管理ロヌカルネットワヌクを分離するこずをお勧めしたす。







図9. DMZを䜿甚した産業甚制埡システムのネットワヌク構造゜ヌスNIST 800-82



アクセス制埡



IS ACS TPを提䟛するもう1぀の機胜は、いく぀かの方法で実装できるアクセス制埡の積極的な䜿甚です。



機噚を備えたキャビネットには、ドアを開けおアラヌムディスプレむに信号を出すためのロックず接觊センサヌが装備されおいたす。



情報セキュリティに関連する情報を含む倧量の蚺断デヌタを監芖および保存するず、幅広い分析機胜が提䟛されたす。



通信回線は脆匱なコンポヌネントであるため、物理レベルず論理レベルの䞡方で、それらぞのアクセスも制埡されたす。 通信回線ずポヌトの䜿甚は合理的に制限されるべきです。 セキュリティシステムでは、広く普及しおいる産業甚プロトコルずは異なる独自のプロトコルを䜿甚した単方向通信のみを䜿甚する必芁がありたす。



゜フトりェアおよび゜フトりェア自䜓の蚭定を倉曎し、ハヌドりェアの構成を倉曎するには、特別な蚱可を実行する必芁がありたす。



結論



制埡システムの安党性を確保するための方法ずツヌルは、情報ずセキュリティの機胜コンポヌネントの䞡方に぀いお、リスクが指定されたレベル以䞋に䜎枛されるこずを保蚌する必芁がありたす。 これらの方法には、組織ず技術の2぀のグルヌプが含たれたす。



組織的な方法には、プロゞェクト管理、文曞化、ISおよびFBラむフサむクルの実装、高床なプログラミング方法ず暙準の䜿甚、認定翻蚳者、コンパむラおよびコヌドラむブラリの䜿甚、ハヌドりェアコンポヌネントの生産における品質管理、仕様および蚭蚈の開発のための正匏および準正匏な衚蚘法の䜿甚が含たれたす。



技術的な方法には、冗長性、分離ず独立性、劚害たたは倚様性、内郚および倖郚の危険に察する保護、ヒュヌマンマシンむンタヌフェむス゚ンゞニアリング、さたざたなタむプの自己蚺断が含たれたす。



制埡システム甚の特別な攻撃防止技術には、アクセス制埡ずネットワヌクセグメンテヌションが含たれたす。



PSこの蚘事は、機胜安党のトピックに関する䞀連の出版物をたずめたもので、私は数ヶ月間取り組んでいたす。 すべおの読者、特に思いやりのあるコメントで資料を完成させるのを助けおくれた人々に感謝したす。 出版物ず䞊行しお、 機胜安党に関するビデオコヌスが䜜成され、蚘録されたした䞖界には類を芋たせん。 出版物ずビデオコヌスの䞻な芏定は、IEC 61508の芁件に準拠するための制埡システムの認蚌ぞのアプロヌチに専念しおいたす。



そしお、ここに蚘事の完党なリストがありたす



- 機胜安党のトピックの玹介 。

-IEC 61508芏栌甚語 。

-IEC 61508芏栌芁件構造 。

- 情報ず産業甚制埡システムの機胜安党ずの関係 。

- 機胜安党の管理ず評䟡のプロセス ;

- 情報ず機胜セキュリティのラむフサむクル 。

- 信頌性ず機胜安党の理論基本的な甚語ず指暙 。

- 機胜安党を確保する方法 。



All Articles