An extensible framework for practical secure component composition in a ubiquitous computing environment

International Conference on Information Technology: Coding Computing, ITCC

Volumn 1, Issue , 2004, Pages 112-117

  Llewellyn Jones, David ^a   Merabti, Madjid ^a   Shi, Qi ^a   Askwith, Bob ^a  

^a LIVERPOOL JOHN MOORES UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT COMPOSITION; COMPUTING ENVIRONMENTS; EXECUTABLE CODES; SECURE COMPONENTS;

COMPUTATIONAL METHODS; COMPUTER NETWORKS; PERSONAL DIGITAL ASSISTANTS; PROBLEM SOLVING; QUALITY OF SERVICE; XML;

SECURITY SYSTEMS;

EID: 3042595025     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITCC.2004.1286435     Document Type: Conference Paper

References (18)

1. D. L. Tennenhouse, J. M. Smith, W. D. Sincoskie, D. J. Wetherall, and G. J. Minden, "A survey of active network research," IEEE-Communications- Magazine, vol. 35(1), pp. 80-6, 1997.
2. M. S. Greenberg and J. C. Byington, "Mobile Agents and Security," IEEE Communications Magazine, pp. 76-85, 1998.
3. M. Weiser, "The computer for the 21st century," Scientific American International Edition, vol. 265(3), pp. 66-75, 1991.
4. G. Banavar and A. Bernstein, "Software infrastructure and design challenges for ubiquitous computing applications," Communications of the ACM, vol. 45(12), pp. 92-6, 2002.
5. W. Cheswick, S. M. Bellovin, W. Ford, and J. Gosling, "How computer security works," Scientific American International Edition, vol. 279(4), pp. 78-81, 1998.
6. J. M. Wing, "A symbiotic relationship between formal methods and security," in Proceedings Computer Security, Dependability, and Assurance: From Needs to Solutions, 7-9 July 1998 & 11-13 November 1998, York, UK & Williamsburg, VA, USA, 1999.
7. H. Mantel, "On the composition of secure systems," in Proceedings 2002 IEEE Symposium on Security and Privacy, 2002.
8. J. Jürjens, "Composability of secrecy," in Information Assurance in Computer Networks. Methods, Models and Architectures for Network Security. International Workshop MMM-ACNS 2001, 21-23 May 2001, St. Petersburg, Russia, 2001.
9. J. McLean, "A general theory of composition for a class of "possibilistic" properties," IEEE Transactions on Software Engineering, vol. 22(1), pp. 53-67, 1996.
10. R. Focardi and S. Rossi, "Information flow security in dynamic contexts," in Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW 15, 2002.
11. A. D. Rubin and J. D. E. Geer, "Mobile Code Security," IEEE Internet Computing, pp. 31-4, 1998.
12. L. Gong, "Secure Java, class loading," IEEE Internet Computing, vol. 2(6), pp. 56-61, 1998.
13. G. C. Necula and P. Lee, "Safe kernel extensions without run-time checking," Operating Systems Review, vol. 30, pp. 229-43, 1996.
14. C. Colby, K. Crary, R. Harper, P. Lee, and F. Pfenning, "Automated techniques for provably safe mobile code," Theoretical Computer Science, vol. 290(2), pp. 1175-99, 2003.
15. Q. Shi and N. Zhang, "An effective model for composition of secure systems," Journal-of-Systems-and-Software, vol. 43(3), pp. 233-44, 1998.
16. Q. Shi and N. Zhang, "A general approach to secure components composition," in Proceedings. IEEE High Assurance Systems Engineering Workshop Cat. No. 96TB100076, 1997.
17. G. C. Necula, "A scalable architecture for Proof-Carrying Code," in Functional and Logic Programming. 5th International Symposium, FLOPS 2001. Proceedings Lecture Notes in Computer Science vol. 2024, 2001.
18. C. Colby, P. Lee, G. C. Nedula, F. Blau, M. Plesko, and K. Cline, "A certifying compiler for Java," SIGPLAN Notices, vol. 35(5), pp. 95-107, 2000.