|
|||||
|
|
ESeal Calculus: A secure mobile calculus |
|
| Authors: | |
| Institution: | (1) School of Computer, Wuhan University, 430072 Wuhan, Hubei, China;(2) College of Information Science, Beijing Normal University, 100875 Beijing, China |
| Abstract: | The ESeal Calculus is a secure mobile calculus based on Seal Calculus. By using open\|channels, ESeal Calculus makes it possible to communicate between any two arbitrary seals with some secure restrictions. It improves the expression ability and efficiency of Seal calculus without losing security. |
| Keywords: | Seal calculus security channel |
| 本文献已被 CNKI 万方数据 SpringerLink 等数据库收录！ | |