教育用WindowsPCにおけるデジタル証明書を用いた柔軟かつ堅牢なアプリケーション実行制御システムの設計