Formal Verification of a Smart CardOperating System
碩士 === 國立成功大學 === 工程科學系碩博士班 === 90 === This research is to toward formally prove the correctness of a smart card operating system, called ESCOS developed in our lab in July 2001. Proving the characteristics of an IC card operating system is very important in the IC card field such as the fillment of...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
2002
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/pf5r4a |