Έλεγχος τύπων διεργασιών του π-λογισμού ως προς πολιτικές ιδιωτικότητας και μια εκτελέσιμη υλοποίησή του στην Maude

Πιτσιλαδής, Γεώργιος Β.; Pitsiladis, Georgios V.

Έλεγχος τύπων διεργασιών του π-λογισμού ως προς πολιτικές ιδιωτικότητας και μια εκτελέσιμη υλοποίησή του στην Maude

Title: Έλεγχος τύπων διεργασιών του π-λογισμού ως προς πολιτικές ιδιωτικότητας και μια εκτελέσιμη υλοποίησή του στην Maude;
Type checking privacy policies in the π-calculus and an executable implementation in Maude

Πιτσιλαδής, Γεώργιος Β.; Pitsiladis, Georgios V.

URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/44439
http://dx.doi.org/10.26240/heal.ntua.10994

Date: 2017-02-28

Show full item record