: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...
There is a growing interest in international collaboration, and therefore a need for internationalized software that can be localized to various languages. Traditionally, systems ...