A Coordination Model for Improving Software System Attack-Tolerance and Survivability in Open Hostile Environments

References

• Agha , G. 1986 . Actors: A Model of Concurrent Computation in Distributed Systems , MIT Press .
   Google Scholar
• Arbab , F. . IWIM: A communication model for cooperative systems . Proceedings of the 2nd International Conference on the Design of Cooperative Systems, pp . pp. 567 – 585 .
   Google Scholar
• Cremonini , M. , Omicini , A. and Zambonelli , F. 2000 . “ Coordination and access control in open distributed agent system: The tucson approach ” . In Coordination Languages and Models , Edited by: Porto , A. and Roman , G. C. Vol. 1906 , 99 – 114 . LNCS, Springer-Verlag .
   Google Scholar
• Degani , A. 2003 . Taming HAL: Designing Interfaces Beyond 2001 , Palgrave Macmillan .
   Google Scholar
• Fr⊘lund , S. 1996 . Coordinating Distributed Objects: An Actor-Based Approach to Synchronization , MIT Press .
   Google Scholar
• Fr⊘lund , S. and Agha , G. 1996 . “ Abstracting interactions based on message sets ” . In Object-Based Models and Languages for Concurrent Systems , vol. 924, pp , 107 – 124 . Springer Verlag . Lecture Notes in Computer Science
   Google Scholar
• Gelernter , D. 1985 . Generative communication in Linda . ACM Transactions on Programming Languages and Systems (TOPLAS) , 7 : 80 – 112 .
   Web of Science ®Google Scholar
• Jang , M.-W. , Ahmed , A. and Agha , G. A flexible coordination framework for application-oriented matchmaking and brokering services . Technical Report UIUCDCS-R-2004-2430, Department of Computer Science, University of Illinois at Urbana-Champaign . 2004 .
   Google Scholar
• Keromytis , A. D. , Parekh , J. , Gross , P. N. , Kaiser , G. , Misra , V. , Nieh , J. , Rubenstein , D. and Stolfo , S. . A holistic approach to service survivability . SSRS ‘03: Proceedings of the 2003 ACM workshop on Survivable and self-regenerative systems . New York, NY, USA. pp. 11 – 22 . ACM Press, pp .
   Google Scholar
• Killourhy , K. S. , Maxion , R. A. and Tan , M. K. . A defense-centric taxonomy based on attack manifestations . International Conference on Dependable Systems & Networks . IEEE .
   Google Scholar
• Kwiat , K. , Ravindran , K. and Hurley , P. . Energy-efficient replica voting mechanisms for secure real-time embedded systems . Proceedings of the Sixth IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks . June , Taormina – Giardini Naxos .
   Google Scholar
• Laprie , J.-C. 1999 . “ Dependability of software-based critical systems ” . In Dependable Network Computing , Kluwer Academic Publishers .
   Google Scholar
• Lee , E. A. September 22 2005 . “ Building unreliable systems out of reliable components: the real time story ” . In Abstract of Invited Plenary Talk, Monterey Workshop September 22 , Laguna Beach, California
   Google Scholar
• Lee , P. and Anderson , T. 1990 . Fault Tolerance: Principles and Practice, , Dependable Computing and Fault-Tolerant System , 2nd , volume 3 , Springer-Verlag .
   Google Scholar
• McDermott , J. , Kim , A. and Froscher , J. . Merging paradigms of survivability and security: stochastic faults and designed faults . NSPW ‘03: Proceedings of the 2003 workshop on New security paradigms . New York, NY, USA. pp. 19 – 25 . ACM Press .
   Google Scholar
• Omicini , A. and Denti , E. 2001 . From tuple spaces to tuple centers . Science of Computer Programming , 41 ( 3 ) : 277 – 294 .
   Web of Science ®Google Scholar
• Randell , B. 2000 . Facing up to faults . The Computer Jorunal , 43 ( 2 ) : 95 – 106 . Turing Memorial Lecture.
   Web of Science ®Google Scholar
• Ren , S. , Chen , N. , Yu , Y. , Poirot , P.-E. , Shen , L. and Marth , K. 2006 . Actors, roles and coordinators a coordination model for open distributed embedded systems . COORDINATION 2006 , : 247 – 265 .
   Google Scholar
• Ellison , R. J. , Fisher , D. , Linger , R. , Lipson , H. , Longstaff , T. and Mead , N. Survivable network systems: an emerging discipline . Technical Report CMU/SEI-97-TR-013 and ESC-TR-97-013, Carnegie Mellon University, Software Engineering Institute . Nov. 1997 . Rev. May 1999.
   Google Scholar
• Robinson , B. 2005 . Data protection: Emerging threats spur technology updates and a new class of security devices . Federal Computer Week , 19 ( 35 ) Oct.
   Google Scholar
• C. M. U. Software Engineering Institute. Survivable network analysis. http://www.sei.cmu.edu/programs/nss/
   Google Scholar
• Sterbenz , J. P. G. , Krishnan , R. , Hain , R. R. , Jackson , A. W. , Levin , D. , Ramanathan , R. and Zao , J. . Survivable mobile wireless networks: issues, challenges, and research directions . WiSE ‘02: Proceedings of the 3rd ACM Workshop On Wireless security . pp. 31 – 40 . New York, NY, USA : ACM Press .
   Google Scholar
• Varela , C. A. and Agha , G. . A hierarchical model for coordination of concurrent activities . International Conference on Coordination (COORDINATION ‘99) . pp. 166- LNCS 1594
   Google Scholar
• Wood , A. . Coordination with attributes . Proceedings of the 3rd International Conference on Coordination Models and Languages .
   Google Scholar
• Yee , K.-P. . User interaction design for secure systems . Proceedings of the International Conference on Information and Communication Security .
   Google Scholar
• Ziaei , R. and Agha , G. . SynchNet: a petri net based coordination language for distributed objects . Proceedings of the second international conference on Generative programming and component engineering . New York, NY, USA. pp. 324 – 343 . Springer-Verlag New York, Inc .
   Google Scholar