ESeal Calculus: A secure mobile calculus
Peng Rong, Xinmeng Chen, Ping Liu · Wuhan University Journal of Natural Sciences · 2003
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.