Practical implementation of information flow in Paragon

Visa enkel post
dc.contributor.authorNazir, Javed
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineering (Chalmers)en
dc.date.accessioned2019-07-03T13:07:26Z
dc.date.available2019-07-03T13:07:26Z
dc.date.issued2012
dc.description.abstractParagon 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.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/173676
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectInformations- och kommunikationsteknik
dc.subjectData- och informationsvetenskap
dc.subjectSystemvetenskap, informationssystem och informatik
dc.subjectData- och systemvetenskap
dc.subjectInformation & Communication Technology
dc.subjectComputer and Information Science
dc.subjectInformation Systems
dc.subjectComputer and systems science
dc.titlePractical implementation of information flow in Paragon
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
173676.pdf
Storlek:
1.43 MB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för masterexamen