Quick bibliography

Patterns, Frameworks and Middleware : Their Synergestic Relationships
Authors : D. C. Schmidt
Description : Invited talk at IEEE/ACM International Conference on Software Engineering, Portland, Oregon, May 3—10, 2003.

Utilising Component Composition for Secure Ubiquitous Computing
Authors : D. Llewellyn-Jones, M. Merabti, Q. Shi, B. Askwith
Description : Proceedings of 2nd UK-UbiNet Workshop, May 2004

On the composition of secure systems
Authors : H. Mantel.
Description : Proc. of 2002 IEEE Symposium on Security and Privacy, 2002

Building Application Frameworks : Object-Oriented Foundations of Framework Design
Authors : M. Fayad, R. Johnson, and D. C. Schmidt
Publisher : Wiley & Sons, 1999

Gaia. A Middleware Infrastructure to Enable Active Spaces
Authors : M. Román, C. K. Hess, R. Cerqueira, A. Ranganathan, R. H. Campbell, and K. Nahrstedt
Publisher : Proceedings of IEEE Pervasive Computing
Description : pp. 74-83, Oct-Dec 2002

Security in Mobile Ad Hoc Networks : Challenges and Solutions
Authors : H. Yang, H. Luo, F. Ye, S. Lu, and L. Zhang
Publisher : IEEE Wireless Communications
Description : February 2004, Vol.11, No. 1

Engineering with Patterns : Origins, Theoretical Model and New Applications Security
Authors : Schumacher, M
Publisher : Springer ,2003

Final Technical Report : Security Patterns for Web Application Development
Authors : D. M. Kienzle, M. C. Elder.
Link : http://www.scrypt.net/ celer/securitypatterns/final%20report.pdf

Introduction to Business Security Patterns
Authors : IBM’s Security Strategy team
Description : An IBM White Paper
Link : http://www-3.ibm.com/security/patterns/intro.pdf

Trusted Information, The New Decade Challenge, IFIP TC11 16th "International Conference on Information Security (IFIP/Sec’01)
Authors : Michel Dupuy, Pierre Paradinas
Publisher : Kluwer Academic Publishers, 2001
Description : pp. 470 - 485

Using Security Patterns to Model and Analyze Security Requirements. High Assurance Systems
Authors : B. H.C. Cheng, S. Konrad, L. A. Campbell, and R. Wassermann
Description : Workshop (RHAS03), Monterey Bay, CA, USA, September 2003.

Architectural Patterns for Enabling Application Security. Pattern Languages of Program Design 4
Authors : Yoder, J. & Barcalow J.
Publisher : MA : Addison Wesley Publishing Company. (2000).
Description : pp. 301-336, Reading

Security Design Patterns (SDP) technical guide
Authors : B.Blakley, C. Heath, and members of The Open Group Security Forum
Description : The Open Group. 2004
Link : http://www.opengroup.org/security/gsp.htm

Enterprise Security Patterns
Authors : S. Romanosky
Description : Proceedings of the Seventh European Conference on Pattern Languages of Programs, 2002

Software infrastructure and design challenges for ubiquitous computing applications
Authors : G. Banavar and A. Bernstein
Description : Communications of the ACM, vol. 45(12), pp. 92- 6, Dec 2002

An effective model for composition of secure systems
Authors : Q Shi and N. Zhang
Description : Journal of Systems-and-Software, 43(3), pp. 233-44, Nov. 1998

Information flow security in dynamic contexts
Authors : R. Focardi and S. Rossi
Description : Proceedings 15th IEEE Computer Security Foundations Workshop, CSFW 15, 2002

An Extensible Framework for Practical Secure Component Composition in a Ubiquitous Computing Environment
Authors : D. Llewellyn-Jones, M. Merabti, Q. Shi, and B. Askwith
Description : Proceedings of International Conference on Information Technology, Las Vegas, USA, April 2004

WebLogic Security Framework : Working with Your Security Eco-System
Authors : BEA
Description : White Paper BEA
Link : http://www.bea.com

The Common Object Request Broker : Architecture and Specification
Authors : Object Management Group
Link : http://www.omg.org

M.I Access Control Infrastructure for Digital Objects
Authors : López, J., Maña, A., Pimentel, E., Troya, J.M., Yagüe
Publisher : Springer-Verlag. LNCS. 2513. Singapore. 2002
Description : Int. Conference On Information and Communications Security 2002

Automatic Monitoring of Software Requirements
Authors : Cohen D. et al.
Description : Proc. of 19th Int. Conf. on Softw. Engineering, 1997

The Ponder Policy Specification Language
Authors : Damianou N, Dulay N, Lupu E, Sloman M
Publisher : Springer-Verlag Berlin Heidelberg 2001
Description : POLICY 2001, LNCS, pp. 18-38

Towards Self-Protecting Ubiquitous Systems Monitoring Trust-based Interactions
Authors : English C., Terzis S., Nixon P.
Description : Proceedings of UbiSys ’04, 2004

Reconciling System Requirements and Runtime Behaviour
Authors : Feather M. et al.
Description : Proc. of 9th Int. Work. on Software Specification & Design, 1998

Requirements Monitoring in Dynamic Environments
Authors : Feather M., Fickas S.
Description : Proc. of Int. Conf. on Requirements Engineering,1995

Java runtime event specification and monitoring library
Authors : Karaorman M., Freeman J., jMonitor
Description : Proceedings of 4th Workshop on Run-time Verification, 2004
Link : http://ase.arc.nasa.gov/rv2004/papers/paper11.pdf

Execution Monitoring of security-critical programs in a distributed system : a specification-based approach
Authors : Ko C.
Description : PhD Thesis, University of California at Davis, 1996

Monitoring Software Requirements using Instrumented Code
Authors : Robinson W.
Description : Proc. Of the Hawaii Int. Conf. on Systems Sciences. 2002

Monitoring Web Service Requirements
Authors : Robinson W.
Description : Proc. of 12th Int. Conf. on Requirements Engineering, 2003.RV 2004 Proceedings of 4th Workshop on Runtime Verification (RV ’04)
Link : http://ase.arc.nasa.gov/rv2004/

Time Security Evaluation (RTSE) for Distributed Applications Run
Authors : Serban C, McMillin B
Description : 1996 IEEE Symposium on Security and Privacy, 1996

Monitoring algorithms for metric temporal logic specifications
Authors : Thati P., Rosu G.
Description : Proceedings of 4th Workshop on Run-time Verification, 2004
Link : http://ase.arc.nasa.gov/rv2004/papers/paper09.pdf