Security-by-Contract (S×C) for Software and Services of Mobile Systems
暂无分享,去创建一个
[1] George C. Necula,et al. Safe, Untrusted Agents Using Proof-Carrying Code , 1998, Mobile Agents and Security.
[2] A. Gupta,et al. Businessfinder: harnessing presence to enable live yellow pages for small, medium and micro mobile businesses , 2007, IEEE Communications Magazine.
[3] Robert W. Shirey,et al. Internet Security Glossary , 2000, RFC.
[4] Andy Hopper,et al. The Anatomy of a Context-Aware Application , 1999, Wirel. Networks.
[5] George C. Necula,et al. Proof-carrying code , 1997, POPL '97.
[6] Christophe Diot,et al. A distributed architecture for multiplayer interactive applications on the Internet , 1999, IEEE Netw..
[7] Andrew W. Appel,et al. Proof-carrying authentication , 1999, CCS '99.
[8] Scott F. Smith,et al. Static enforcement of security with types , 2000, ICFP '00.