• DocumentCode
    1613880
  • Title

    Probabilistic validation of an intrusion-tolerant replication system

  • Author

    Singh, Sankalp ; Cukier, Michel ; Sanders, William H.

  • Author_Institution
    University of Illinois
  • fYear
    2003
  • Firstpage
    615
  • Lastpage
    624
  • Keywords
    Application software; Computer networks; Contracts; Distributed computing; Educational institutions; Electronic commerce; IP networks; Information security; Stochastic processes; Stochastic systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
  • Print_ISBN
    0-7695-1952-0
  • Type

    conf

  • DOI
    10.1109/DSN.2003.1209971
  • Filename
    1209971