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 improve...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.
