Techniques are described for generating and actively verifying a boot code associated with
a peripheral device of a computer system to prevent potential security threats the boot code …

A data structure is said to be persistent when any update operation returns a new structure
without altering the old version. This paper introduces a new notion of persistence, called …

概 要モバイルコードはネットワーク内で移動, リモートマシンで実行されるプログラムである.
こうしたプログラムは, セキュリティが重要な課題となる. Java 言語は移動性, 安全性 …