摘要
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.
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.
