A formal approach to designing secure software architectures

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 8, Issue , 2004, Pages 289-290

  Yu, Huiqun ^a   He, Xudong ^a   Deng, Yi ^a   Mo, Lian ^a  

^a Florida International University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; INFORMATION ANALYSIS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PETRI NETS; PUBLIC POLICY; SECURITY OF DATA;

INFORMATION FLOW MODELS; INFORMATION SYSTEMS; SOFTWARE ARCHITECTURE MODEL (SAM); SOFTWARE SECURITY;

SOFTWARE ENGINEERING;

EID: 2942516897     PISSN: 15302059     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (9)

1. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Sofware Engineering and Methodology, 6(3):213-249, 1997.
2. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley Longman, Inc., 1999.
3. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems (TOCS), 8(1):18-36, 1990.
4. X. He. A formal definition of hierarchical predicate transition nets. In Proceedings of the 17th International Conference on Application and Theory of Petri Nets, LNCS 1091, pages 212-229. Springer-Verlag, 1996.
5. X. He and Y. Deng. A framework for developing and analyzing software architecture specifications in SAM. The Computer Journal, 45(1):1 11-128, 2002.
6. X. He and J.A.N. Lee. A methodology for constructing predicate transition net specifications. Software-Practice and Experience, 21(8): 845-875, 1991.
7. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
8. S. Schneider. Verification authentication protocols in CSP. IEEE Transactions on Software Engineering, 24(9):741-758, 1998.
9. J. Wang, X. He, and Y. Deng. Introducing software architecture specification and analysis in SAM through an example. Information and Software Technology, 41:451-467, 1999.