Browse Dissertations and Theses - 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/pdfPDF (5MB)Restricted to U of Illinois