首先，我们要对编程风格和SmallˉOS的编程做一些注释。伪代码是从BASIC推导而来的，原则上它表现为智能卡操作系统Small-OS的半形式化描述。根据ITSEC，类似的操作系统描述经常用于软件 评估。它们被用做评估和检查源代码的基础。于是，本节中所呈现的伪代码，就表现为一个良好的范例说明 智能卡操作系统中的进程是如何形式化描述的，伪代码在此以列表形式给出并附以详细的注释。类似形式的 表述可在EN 1546系列标准中找到，例如，其中智能卡电子钱包的内部进程就是半形式化描述的。 　　伪代码中所

由于智能卡是安全地存储数据，被主要用在对安全性敏感的领域中。然而，智能卡的使用带来的好处不仅 在安全存储数据方面，且对安全执行加密算法也有同样的优点。 　　特别是，电子金融交易领域是智能卡的一个正在扩展中的市场，大量的金钱将在一个很广泛的分布系统中 流通，应用提供者或卡发行者必须对半导体制造商，操作系统的生产者以及智能卡的个人化者具有极大的信 心。应用提供者必须绝对地确定智能卡执行的金融交易无任何错误，而且该软件没有安全漏洞，更不要说蓄 意引入软件中的“陷门”（trap door）了。