Merging paradigms of survivability and security: Stochastic faults and designed faults

Proceedings New Security Paradigms Workshop

Volumn , Issue , 2004, Pages 19-25

  McDermott, J ^a   Kim, A ^a   Froscher, J ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; FAULT TOLERANT COMPUTER SYSTEMS; MACHINE DESIGN; MARKOV PROCESSES; MATHEMATICAL MODELS; PROBABILITY DISTRIBUTIONS; RANDOM PROCESSES; STOCHASTIC CONTROL SYSTEMS;

DESIGN FAULTS; FAULT TOLERENCE COMMUNITIES; PARADIGM OF SURVIVABILITY; STOCHASTIC FAULTS;

SECURITY SYSTEMS;

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

References (13)

1. A. Avizenis, J. Laprie, and B. Randell. Fundamental concepts of dependability. In Third Information Survivability Workshop, Boston, MA, October 2000.
2. E. Best, R. Devillers, and J.G. Hall. The Box calculus: a new causal algebra with multi-level communication. In Advances in Petri Nets, volume 609. LNCS, 1992.
3. C. Davies. Recovery semantics for a db/dc system. In Proc. ACM Annual Conference, pages 136-141. ACM Press, 1973.
4. S. Govindavajhala and A. Appel. Using memory errors to attack a virtual machine. In Symposium on Security and Privacy. IEEE, May 2003.
5. H. Hermanns, J.-P. Katoen, J. Mayer-Kayser, and M. Siegle. Towards model checking stochastic process algebra. In W. Grieskamp, T. Santen, and B. Stoddart, editors, 2nd Int. Conf. on Integrated Formal Methods (IFM2000), 2000.
6. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
7. Pankaj Jalote. Fault Tolerance in Distributed Systems. Prentice Hall PTR, 1994.
8. C. Kaufman, R. Perlman, and M. Speciner. Network Security: Private Communication in a Public World. Prentice Hall, 1995.
9. J.-C. Laprie, J. Arlat, J.-P. Blanquart, A. Costes, Y. Crouzet, Y. Deswarte, J.-C. Fabre, H. Guillermain, M. Kâniche, K. Kanoun, C. Mazet, D. Powell, C. Rabéjac, and P. Thévenod. Dependability Guidebook. Cépaduès-Editions, Toulouse, 1995.
10. M.K.Molloy. Performance analysis using stochastic petri nets. IEEE Transactions on Computers, 31(9):913-917, September 1982.
11. H. Nielson and F. Nielson. Hardest attackers. In Proc. Workshop on Issues in Theoretical Security, Geneva, July 2000.
12. M. Pease, R. Shostak, and L. Lamport. Reaching agreement in the presence of faults. JACM, 27(2):228-234, April 1980.
13. D. Powell and R. Stroud. Malicious- and accidental-fault tolerance for internet applications: Conceptual model and architecture. Technical report, MAFTIA deliverable D2 (available as LAAS-CNRS Rep. 01426 or University of Newcastle upon Tyne CS-TR-749), November 2001.