Search
 
loader loading subjects...
cover
Programming in Paragon
Bart van Delft, Niklas Broberg, David Sands
279 - 308
10.3233/978-1-61499-385-8-279
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 36: Software Systems Safety
Abstract

This tutorial provides an introduction to Paragon, a programming language that allows specification of security concerns on the data that is manipulated, as an integral part of the code. The target audience are programmers, as the end users of the programming language. The goal of the tutorial is to learn how to write information-flow secure programs in Paragon, without prior knowledge of theories, enforcement mechanisms and meta-properties underlying the field of information flow research.

$35.00 / €27.50 / £22.00
Add PDF to cart