A methodology for secure software design

Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04

Volumn 1, Issue , 2004, Pages 130-136

  Fernandez, Eduardo B ^a  

^a Florida Atlantic University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT-ORIENTED APPROACH; SECURE SOFTWARE; SOFTWARE DESIGN; UNIFIED MODELING LANGUAGE (UML);

DATABASE SYSTEMS; INFORMATION ANALYSIS; INTERNET; INVENTORY CONTROL; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; SYSTEMS ANALYSIS; VOTING MACHINES;

SOFTWARE ENGINEERING;

EID: 12344293871     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerland, and M. Stal., Pattern-oriented software architecture, Wiley 1996.
2. E. B. Fernandez and R. B. France, "Formal specification of real-time dependable systems", Proc. of First IEEE Int. Conf. on Eng. of Complex Comp. Systems, Fort Lauderdale, FL, November 6-10, 1995, 342-348.
3. nd ACM Workshop on Role-Based Access Control, November 1997, 121-125. http://www.cse.fau.edu/~ed/RBAC.pdf
4. E.B.Fernandez, "Coordination of security levels for Internet architectures", Procs. 10th Intl. Workshop on Database and Expert Systems Applications, 1999, 837-841. http://www.cse.fau.edu/~ed/Coordinationsecurity4. pdf
5. th Int. Conf. on Conceptual Modeling, ER2000, 183-195. Also available from: http://www.cse.fau.edu/~ed/SAPpaper2.pdf
6. E. B. Fernandez and R.Y. Pan, "A pattern language for security models", Procs. of PLoP 2001, http://jerry.cs.uiuc.edu/~plop/plop2001/ accepted_submissions/accepted-papers.html
7. E.B.Fernandez, "Patterns for operating systems access control", Procs. of PLoP 2002, http://jerry.cs.uiuc.edu/~plop/plop2002/proceedings.html
8. E.B.Fernandez, "Layers and non-functional patterns", Procs of ChiliPLoP, 2003. Phoenix, March 10-15, 2003. http://hillside.net/chiliplop/2003/
9. E.B.Fernandez and J.C.Sinibaldi, "More patterns for operating systems access control", Procs. EuroPLoP 2003, http://hillside.net/europlop
10. E. B. Fernandez, M. M. Larrondo-Petrie, N. Seliya, N. Delessy, and A. Herzberg, "A Pattern Language for Firewalls", Procs. of PLoP 2003.
11. E.B. Fernandez, "Two patterns for web services security", to appear in Procs. of the International Symposium on Web Services and Applications, Las Vegas, NV, June 2004.
12. E. Gamma, R. Helm,R. Johnson, and J. Vlissides, Design patterns -Elements of reusable object-oriented software, Addison-Wesley 1995.
13. nd Ed.), Microsoft Press, 2003.
14. V. Hays, M. Loutrel, and E.B.Fernandez, "The Object Filter and Access Control framework", Procs. Pattern Languages of Programs (PLoP2000) Conference, http://jerry.cs.uiuc.edu/~plop/plop2k
15. P.G.Neumann, "On hierarchical design of computer systems for critical applications", IEEE Trans. on Software Eng., vol. SE-12, No 9, September 1986, 905-920.
16. P.G.Neumann, "The role of software engineering", Comm. of the ACM, Vol. 36, No 5, May 1993, 114.
17. C.P.Pfleeger, Security in computing, 3rd. Ed., Prentice-Hall, 2003.
18. J.H.Saltzer and M.D.Schroeder, "The protection of information in computer systems", Procs. of the IEEE, Vol. 63, No 9, 1975, 1278-1308. A web version is in: http://web.mit.edu/Saltzer/www/publications/protection/index. html
19. M. Schumacher, E.B.Fernandez, D. Hybertson, and F. Buschmann, Security Patterns, to be published by J. Wiley & Sons, 2004.