【課題】コンポーネント提供者が、コンテンツを保護されたＭＤＡの設計モデルを作成することができ、又、コンポーネントのユーザーが、保護された設計モデルを使って、自プラットフォームに応じた設定でソースコードを生成し、プロジェクトに組み込むことができるコンポーネント流通システムを提供すること。
【解決手段】コンポーネントモデル情報と、コンポーネントプラットフォーム依存情報（非公開）を暗号化し、コンポーネントソースコード生成プログラム、コンポーネントＩ／Ｆ情報、コンポーネントプラットフォーム依存情報（公開）と共にコンポーネントのバンドルとして提供する。 （もっと読む）

【課題】 実施可能な通信複雑度を持つ、効率的な証明携帯プログラム配信方法および証明携帯プログラム配信システムを提供する。
【解決手段】 証明携帯プログラム配信方法であって、開発者側が作成したプログラムｆが正しいことを示すために、検証論理式｛Pre｝ｆ｛Post｝を検証論理式生成部により生成する第１のステップと、前記検証論理式が妥当であることを示すためにある論理体系Ｔ内で証明し、安全性証明ｐを、安全証明作成部により作成する第２のステップと、開発者側が得られた安全性証明ｐをもとに利用者側との間でゼロ知識証明プロトコル部により対話的に通信を行い、安全なプログラムの集合Safeに属することを利用者に確認させる第３のステップと、利用者側は、開発者側から送信されたプログラムｆが前記集合Safeに属することを確認した後に該プログラムｆを実行する第４のステップとを有する。 （もっと読む）

協調型組込みエージェント、さらに協調型組込みエージェントを有するホストシステムにて実行できる管理容易化およびセキュリティ動作について開示する。 （もっと読む）