1. Introducing new features of network connections and re-writeable media in weighing instruments challenges the way of thinking of traditional type approval. 2. We propose a solution to the problem which uses PKI. 3. We also propose a definition of what software parts in weighing instruments are legally relevant. 4. We have implemented a prototype system for integrity check based on our proposal.
展开▼
AIST, Japan Laboratory for Verification and Semantics National Institute of Advanced Industrial Science and Technology, 3-11-46 Nakoji, Amagasaki Hyogo, 661-0974 Japan;