アイティアクセス株式会社

EUサイバーレジリエンス法へのワンストップ型ソリューション

CRA対応をどこから始めればよいか迷う企業に対して、技術・ツール・認証のすべてを網羅した支援体制を提供します！

 

[製品紹介]

EUサイバーレジリエンス法（CRA）対応に悩む企業向けに、アイティアクセスが提供するワンストップ型ソリューションを紹介しています。

 

CRAの理解不足や基準適合の判断が困難な企業に対し、15～30年以上の経験を持つエンジニアが、セキュリティ要件の整理から改修・認証取得までを支援。

 

wolfSSL社の「wolfBoot」「wolfCrypt」やOnward Security社の「SecDevice」「SecSAM」など、必要なツール提供と導入もサポートします。

 

さらに、テストラボでの評価から認証機関DEKRAへの申請まで一貫支援を実施。CRA対応を包括的に支援します。

 

Onward OSSリスク管理システム

ライフサイクル全体でOSSに伴うリスクを管理・最小化でき、EUのCRAや米国のNISTガイドラインといった規制対応にも貢献します

 

[製品紹介]

Onward Security社が提供するOSSリスク管理システムの紹介です。

 

OSS利用が進む中での脆弱性やライセンス違反のリスクに対応するため、「SecSAM」と「SecDevice」という2つのツールが提示されています。

 

■ SecSAM

CVEやCWE、ライセンス情報、SBOMを統合管理できるプラットフォームで、SPDXやCycloneDX、VEXにも対応。

 

■ SecDevice

ファジングなどによりバイナリレベルでの脆弱性を自動検出し、SecSAMと連携して一元的なリスク対応を可能にします。

 

これによりOSSリスクをライフサイクル全体で管理でき、CRAやNIST等の規制対応にも貢献します。

 

wolfSSL社のサービス紹介

セキュリティ要件の厳しい環境でも効率よく規格準拠と製品保護を実現できる体制を構築できます！

 

[製品紹介]

組込み機器やIoTデバイス向けにセキュリティ機能を提供する米国wolfSSL社のサービス概要を紹介しています。

 

■ wolfSSL

軽量かつ高速なTLSライブラリで、RTOSや組込みLinuxに対応し、OpenSSLとの互換性も確保。

 

■ wolfCrypt

単体の暗号モジュールとしてFIPS対応やハードウェア連携も可能です。

 

■ wolfBoot

セキュアブートとOTAアップデートに対応し、改ざん検知機能も備えています。

 

これらの製品は商用ライセンスおよび技術サポート付きで提供され、FIPSやISO標準に対応が求められる産業用途にも有効です。

 

USB版メディアレスストレージ™

 保存用ストレージとしてのメディアを持たないストレージの新しい形。

■特長
メディアレスストレージはストレージシリコン＝メディアではないという常識から脱却し、ストレージの新たな形を提供します。
スケーラビリティ・セイフティ・サステナビリティを備えた新しいストレージを提供することで、お客様がストレージに関するお悩みから解放できるようお手伝いしています。

■拡張性
メディアレスストレージはそのデータを、NASやクラウドにプロジェクションしており、いつでもそのストレージ容量やその中身を変更することも可能です。
このため容量不足に纏わるお悩みからお客様を解放します。

■安全性
メディアレスストレージはオンプレミスもしくはクラウド上のWebUIから、デバイスのアクセス権やプロジェクションされるメディアの内容を変更できます。
このため紛失や盗難からのデータ漏洩のリスクを軽減します。

■継続性
メディアレスストレージはデータ保存領域としてシリコンメディアを持っておりません。
このため書き込み過多による破壊や不良など、従来のシリコンメディアが持っていた寿命問題や故障とは無縁です。

 

AdaCore

Vプロセスの仕様記述からコード生成までをカバーするソフトウエア開発を支援する各
種製品を取り扱っております

 

形式検証ツール『SPARK Pro』

『SPARK Pro』は、形式検証可能なAda 2012サブセットの言語を使用し、ソフトウェア検証に数学ベースの信頼性をもたらすツールセットです。
当製品を使用して、ソフトウェア・アーキテクチャ要件を形式的に定義、自動検証。

実行時エラーを削減し、セーフティ・プロパティまたはセキュリティ・ポリシーの適用、機能の正確性 (形式的に定義された仕様への準拠) などの幅広いソフトウェア整合性に対するプロパティを保証する事ができます。

【機能】
■データフロー解析
■インフォメーションフロー解析
■実行時例外の検出
■プロパティチェック
■レベル別検証