aking Ambients M ore Robust

@inproceedings{Guan2000akingAM,
  title={aking Ambients M ore Robust},
  author={Xudong Guan and Yiling Yang and Jinyuan You},
  year={2000}
}
Mobile Safe Ambients (SA) was proposed in order to remove the grave interference in the Mobile Ambient calculus. But the coactions introduced in SA also bring some security breaches. In this paper, a similar calculus called Robust Ambients (ROAM) was proposed as a more rational substitute for SA. Through specifying the parameters of the coactions, the ambients in ROAM are more robust against malicious tampering. The encoding of polyadic asynchronous π-calculus in ROAM shows that ROAM does not… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…