Browse Dept. of Computer Science by Author "Qian, Tin"

  • Qian, Tin (2000)
    Traditionally, a system can only be trusted after it has been formally proven trustworthy. However, due to the inherent complexity of distributed systems and the limitation of formal methods, trust based on factors other ...

    application/pdf

    application/pdfPDF (5MB)Restricted to U of Illinois