Practical implementation of information flow in Paragon

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/173676
Download file(s):
File Description SizeFormat 
173676.pdfFulltext1.46 MBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Practical implementation of information flow in Paragon
Authors: Nazir, Javed
Abstract: Paragon is a newly developed language by the security research group of Chalmers University of Technology, Sweden. The major task of my thesis work is practical implementation of a real world problem in Paragon. I have chosen mental poker game to implement in Paragon. Another part of my thesis work is to compare Paragon with Jif, with respect to how convenient implementation is in the two languages, and how well Paragon achieves the goal of improving on the limitations of Jif. After implementating the case study in Paragon, and comparing Paragon and Jif, I conclude that Paragon is able to provide more precise guarantees than Jif.
Keywords: Informations- och kommunikationsteknik;Data- och informationsvetenskap;Systemvetenskap, informationssystem och informatik;Data- och systemvetenskap;Information & Communication Technology;Computer and Information Science;Information Systems;Computer and systems science
Issue Date: 2012
Publisher: Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)
Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers)
URI: https://hdl.handle.net/20.500.12380/173676
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.