In this paper, we describe the implementation of a prototype evaluator for RDRL - a domain-specific security typed programming language that allows dynamically tracking the information flow control and prevents both explicit and implicit insecure flows. The evaluator has been implemented using the ASF+SDF Language Specification Formalism which allows defining the syntax and semantics of a domain specific language (DSL). Using this prototype, we analyze the information flow dynamically and avoid the need for an approximate static analysis of information flow security. © Springer-Verlag 2012.
CITATION STYLE
Hassan, D. (2012). Tracking insecure information flows: A prototype evaluator in ASF+SDF. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7671 LNCS, pp. 310–326). https://doi.org/10.1007/978-3-642-35130-3_22
Mendeley helps you to discover research relevant for your work.