逻辑抽象 meaning in English

logical abstraction

The language has a strong logic and can be applied easily . a famous electronic commerce protocol ? secure electornic transaction ( set ) is also simply introduced and abstracted . at last , the abstracted protocol is especially analyzed and verified completely by the new logic
作者还简单介绍了著名的电子商务协议?安全电子交易( set )协议，并对其进行逻辑抽象，最后着重用提出的新逻辑对抽象化后的set协议进行了完全的分析与验证。