论文信息 - Security-by-Contract (S×C) for Software and Services of Mobile Systems

Security-by-Contract (S×C) for Software and Services of Mobile Systems

This chapter contains sections titled: Introduction, Our Vision, What Is a Security Contract?, Static Analysis, Contract-Policy Matching, Runtime Enforcement on Java ME, S×C as a Service-Oriented Architecture, Conclusions, Acknowledgment, Notes, References

Paolo Traverso | Anne-Marie Sassen | Arian Zwegers | Elisabetta Di Nitto

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