Secure interoperation of secure distributed databases: An architecture verification case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1708, Issue , 1999, Pages 701-717

  Gilham, Fred ^a   Riemenschneider, R A ^a   Stavridou, Victoria ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; FORMAL METHODS;

ACCESS CONTROL POLICIES; ARCHITECTURAL DESCRIPTIONS; COMPLEX ARCHITECTURES; DISTRIBUTED TRANSACTION PROCESSING; REFERENCE IMPLEMENTATION; SECURE IMPLEMENTATION; SECURE INTEROPERATION; VERIFICATION TECHNIQUES;

COMPUTER ARCHITECTURE;

EID: 84958046566     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_39     Document Type: Conference Paper

References (17)

1. G. Abowd, R. Allen, and D. Garlan. Formalizing style to understand descriptions of software architecture. Technical Report CMU-CS-95-111, School of Computer Science, Carnegie Mellon University, January 1995.
2. E. Brinksma, B. Jonsson, and F. Orava. Refining interfaces of communicating systems. In S. Abramsky and T. S. E. Maibaum, editors, Proceedings of TAPSOFT '91, pages 71-80. Springer-Verlag, 1991.
3. M. Broy. Compositional refinement of interactive systems. Technical Report No. 89, Digital Systems Research Center, Palo Alto, July 1992.
4. L. J. LaPadula and D. E. BellMITRE technical report 2547, Volume 2. Journal of Computer Security, 4(2,3):239-263, 1996.
5. D. C. Luckham, L. M. Augustin, J. J. Kenney, J. Vera, D. Bryan, and W. Mann. Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, 21(4):314-335, April 1995.
6. M. Moriconi and X. Qian. Correctness and composition of software architectures. In Proceedings 2nd ACM Symposium on Foundations of Software Engineering (SIGSOFT '94), pages 164-174. ACM Press, 1994.
7. M. Moriconi, X. Qian, and R. A. Riemenschneider. Correct architecture refinement. IEEE Transactions on Software Engineering, 21(4):356-372, April 1995. Available at http://www.csl.sri.com/sadl/tse95.ps.gz.
8. M. Moriconi, X. Qian, R. A. Riemenschneider, and L. Gong. Secure software architectures. In Proceedings of the 1997 IEEE Symposium on Security and Privacy, pages 84-93, May 1997. Available at http://www.csl.sri.com/sadl/sp97.ps.gz.
9. M. Moriconi and R. A. Riemenschneider. Introduction to Sadl 1.0: A language for specifying software architecture hierarchies. Technical Report SRI-CSL-97-01, Computer Science Laboratory, SRI International, March 1997. Available at http://www.csl.sri.com/sadl/sadl-intro.ps.gz.
10. R. B. Neely and J. W. Freeman. Structuring systems for formal verification. In Proccedings of the IEEE Symposium on Security and Privacy, pages 2-13, April 1985.
11. R. B. Neely, J. W. Freeman, and M. D. Krenzin. Achieving understandable results in a formal design verification. In Proceedings of the Computer Security Workshop 2 pages 115-124, June 1989.
12. J. Philipps and B. Rumpe. Refinement of information flow architectures. In Proceedings of the First IEEE International Conference on Formal Engineering Methods (ICFEM '97), pages 203-212, November 1997. Available at http://www4.informatik.tu-muenchen.de/papers/icfem rumpe 1997 Publication.html.
13. R. A. Riemenschneider. A simplified method for establishing the correctness of architectural refinements. SRI CSL Dependable System Archiecture Group, Working Paper DSA-97-02. Available at http://www.csl.sri.com/sadl/simplified.ps.gz., November 1997.
14. R. A. Riemenschneider. Checking the correctness of architectural transformation steps via proof carrying architectures. In Proccedings of the First Working IFIP Conference on Software Architecture, Kluwer Academic Press, 1999. Available at http://www.csl.sri.com/sadl/checking.ps.gz.
15. R. A. Riemenschneider. Correct transformation rules for incremental development of architecture hierarchies. SRI CSL Dependable System Architecture Group, Working Paper DSA-98-01. Available at http://www.csl.sri.com/sadl/incremental.ps.gz. February 1998.
16. W. M. Turski and T. S. E. Maibaum. The Specification of Computer Programs. Addison-Wesley, 1987.
17. X/Open Company, Apex Plaza, Forbury Road, Reading, Berkshire RG1 1AX,U.K. Distributed Transaction Processing: Reference Model, November 1993.