论文部分内容阅读
文中对ＳＥＴ协议中的“ｋ ｏｕｔ ｏｆ ｎ”问题进行了全面的分析，并提出了完整的解决方案，在对ＳＥＴ付费业务流程中的两个关键性问题用ＮＤＬ逻辑进行验证后，给出了它们的Ｐｒｏｌｇｏ程序流程，全文着重于在ＳＥＴ协议中实现“防抵赖”和“可迫踪”两种安全机制，并在此基础上实现用Ｐｒｏｌｏｇ语言程序模拟验证过程，最后对电子商务的发展和今后将要做的工作做了一些初步的探讨。