In this paper we have presented a protocol for secure transactions that adds causality, atomicity and isolation to the secure message properties of privacy, authentication and integrity that are already provided by current protocols like SET, PGP and SSL. This allows secure transactions to be based on relational properties across messages rather than the properties of single messages.
This protocol is complementary to the current protocols, in that existing elements like identity certificates are used in a compatible manner and new elements like context are orthogonal to the other elements in these protocols. Thus, the new properties can be added easily to these protocols.