Filters








2,901 Hits in 4.6 sec

Flexible dynamic information flow control in Haskell

Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
2011 Proceedings of the 4th ACM symposium on Haskell - Haskell '11  
We describe a new, dynamic, floating-label approach to languagebased information flow control, and present an implementation in Haskell.  ...  Unlike other language-based work, LIO also bounds the current label with a current clearance that provides a form of discretionary access control.  ...  We prove information flow and integrity properties of our design and describe LIO, an implementation of the new model in Haskell.  ... 
doi:10.1145/2034675.2034688 dblp:conf/haskell/StefanRMM11 fatcat:h4v4bqmqova3rmfetqpkjdtafi

Flexible dynamic information flow control in Haskell

Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
2012 SIGPLAN notices  
We describe a new, dynamic, floating-label approach to languagebased information flow control, and present an implementation in Haskell.  ...  Unlike other language-based work, LIO also bounds the current label with a current clearance that provides a form of discretionary access control.  ...  We prove information flow and integrity properties of our design and describe LIO, an implementation of the new model in Haskell.  ... 
doi:10.1145/2096148.2034688 fatcat:zehqbjrgl5gr5jumqaminnkfle

Functional Reactive Virtual Reality [article]

Kristopher J. Blom, Steffi Beckhaus
2007 International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments  
In this paper we introduce a VR system extension that focuses on the creation of interactive, dynamic Virtual Environments.  ...  This paradigm focuses on an explicit and more natural concept of time in the modeling of dynamics, without sacrificing interactivity.  ...  The user of these systems uses the dataflow graph to specify the flow of information through the system, typically starting with the system inputs.  ... 
doi:10.2312/pe/ve2007short/121-126 dblp:conf/egve/BlomB07 fatcat:2ocbcirg3zb7pamd2fnf3tq5ei

Arrows for secure information flow

Peng Li, Steve Zdancewic
2010 Theoretical Computer Science  
Computations constructed in the sublanguage have static and explicit control-flow components, making it possible to implement information-flow control using static-analysis techniques at run time, while  ...  The sublanguage provides useful information-flow control mechanisms including dynamic security lattices, run-time code privileges and declassification all without modifying the base language.  ...  Funding for this research was provided in part by NSF grants CNS-0346939 and CCF-0524035, and grant N00014-04-1-0725 provided by the ONR.  ... 
doi:10.1016/j.tcs.2010.01.025 fatcat:fps3d3rxnvf4ll2upyrhyn4uoq

SDN in SCADA Based System for Power Utilities: A Case Study of Himachal Pradesh State Electricity Board Limited SCADA System

Abhinav Sharma, Manu Sood, S. K. Sharma
2016 Indian Journal of Science and Technology  
Objectives: Supervisory Control And Data Acquisition (SCADA) systems are used to manage and monitor the flow of powers through transmission lines, substation and control points.  ...  SDN provides flexibility in form of vendor-free approach and various programming languages to configure the network as per one's need.  ...  control of power flow in a power network.  ... 
doi:10.17485/ijst/2016/v9i32/100220 fatcat:fddbhuxl5felvhtpmsszf52oau

Disjunction Category Labels [chapter]

Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell
2012 Lecture Notes in Computer Science  
Additionally, DC labels can be used to enforce information flow both statically and dynamically.  ...  Our model is simpler than previous decentralized information flow control (DIFC) systems and does not rely on a centralized principal hierarchy.  ...  Additionally, DC labels can be used to enforce information flow both statically and dynamically, as shown in our Haskell implementations.  ... 
doi:10.1007/978-3-642-29615-4_16 fatcat:j2a422qcxbepvh3sqvjqrnzmc4

λBGP: Rethinking BGP programmability

Nicholas Hart, Charalampos Rotsos, Vasileios Giotsas, Nicholas Race, David Hutchison
2020 NOMS 2020 - 2020 IEEE/IFIP Network Operations and Management Symposium  
policy and inject dynamic information sources into path selection logic.  ...  Meanwhile, in other contexts, the SDN model has demonstrated that open and generic network control APIs can greatly improve network functionality and seamlessly enable greater flexibility in network management  ...  for funding the TOUCAN (EP/L020009/1) and INITIATE (EP/P003974/1) projects, and EPSRC and British Telecoms (BT) for funding the NG-CDI (EP/R004935/1) project, which supported much of the work presented in  ... 
doi:10.1109/noms47738.2020.9110331 dblp:conf/noms/HartRGRH20 fatcat:5fnj3mdjhfc77pp4ssiehbda7i

HLIO: mixing static and dynamic typing for information-flow control in Haskell

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo
2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015  
Information-Flow Control (IFC) is a well-established approach for allowing untrusted code to manipulate sensitive data without disclosing it.  ...  Although our motivation is IFC, our technique for deferring constraints goes well beyond and offers a methodology for programmer-controlled hybrid type checking in Haskell.  ...  Information-Flow Control (IFC) is a well-established approach for allowing untrusted code to manipulate sensitive data without disclosing it (Sabelfeld and Myers 2003) .  ... 
doi:10.1145/2784731.2784758 dblp:conf/icfp/BuirasVR15 fatcat:nklzmk2vwvhu7afnyz5hzmc7lu

HLIO: mixing static and dynamic typing for information-flow control in Haskell

Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo
2015 SIGPLAN notices  
Information-Flow Control (IFC) is a well-established approach for allowing untrusted code to manipulate sensitive data without disclosing it.  ...  Although our motivation is IFC, our technique for deferring constraints goes well beyond and offers a methodology for programmer-controlled hybrid type checking in Haskell.  ...  Information-Flow Control (IFC) is a well-established approach for allowing untrusted code to manipulate sensitive data without disclosing it (Sabelfeld and Myers 2003) .  ... 
doi:10.1145/2858949.2784758 fatcat:boowlvmlnzdl7m4mrqcgm3sjky

Information-Flow Control for Programming on Encrypted Data

John C. Mitchell, Rahul Sharma, Deian Stefan, Joe Zimmerman
2012 2012 IEEE 25th Computer Security Foundations Symposium  
This language, which uses an augmented information-flow type system to prevent control-flow leakage, allows programs to be developed and tested using conventional means, then exported to a variety of secure  ...  We present a Haskell-based implementation and prove that cloud implementations based on secret sharing, homomorphic encryption, or other alternatives satisfying our general definition meet precise security  ...  This language uses an augmented information-flow type system to impose conventional information-flow control and addresses a new problem for information-flow type systems: prevent control-flow leakage  ... 
doi:10.1109/csf.2012.30 dblp:conf/csfw/Mitchell0SZ12 fatcat:7pen3b4jcbafni64m7z25kokjy

A library for light-weight information-flow security in haskell

Alejandro Russo, Koen Claessen, John Hughes
2008 Proceedings of the first ACM SIGPLAN symposium on Haskell - Haskell '08  
We also present combinators to dynamically enforce different declassification policies when release of information is required in a controlled manner.  ...  We present a monadic library to provide information-flow security for Haskell programs.  ...  This work was funded in part by the Information Society Technologies program of the European Commission, Future and Emerging Technologies under the IST-2005-015905 MOBIUS project.  ... 
doi:10.1145/1411286.1411289 dblp:conf/haskell/RussoCH08 fatcat:gmwe3b3qnfck3ph3gbkiddq24q

Supporting the creation of dynamic, interactive virtual environments

Kristopher J. Blom, Steffi Beckhaus
2007 Proceedings of the 2007 ACM symposium on Virtual reality software and technology - VRST '07  
Initial examples show how this paradigm can be used to control dynamic, interactive Virtual Environments.  ...  Virtual Reality's expanding adoption makes the creation of more interesting dynamic, interactive environments necessary in order to meet the expectations of users accustomed to modern computer games.  ...  This provides some flexibility for the author in terms of dynamically changing world content.  ... 
doi:10.1145/1315184.1315191 dblp:conf/vrst/BlomB07 fatcat:u2dgtzt5orf3blzlofyknasi34

Lazy data-oriented evaluation strategies

Prabhat Totoo, Hans-Wolfgang Loidl
2014 Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing - FHPC '14  
This paper presents a number of flexible parallelism control mechanisms in the form of evaluation strategies for tree-like data structures implemented in Glasgow parallel Haskell.  ...  We achieve additional flexibility by using laziness and circular programs in the coordination code.  ...  The information flow column indicates whether administrative information for controlling parallelism is passed down or up. For example, depth-based thresholding passes a depth counter down the tree.  ... 
doi:10.1145/2636228.2636234 dblp:conf/icfp/TotooL14 fatcat:2m273imnwnhhtcaflt6fcvbxhm

A library for light-weight information-flow security in haskell

Alejandro Russo, Koen Claessen, John Hughes
2009 SIGPLAN notices  
We also present combinators to dynamically enforce different declassification policies when release of information is required in a controlled manner.  ...  We present a monadic library to provide information-flow security for Haskell programs.  ...  This work was funded in part by the Information Society Technologies program of the European Commission, Future and Emerging Technologies under the IST-2005-015905 MOBIUS project.  ... 
doi:10.1145/1543134.1411289 fatcat:xdwazcl7mzgqnkbcw33rqs2mxe

A seamless, client-centric programming model for type safe web applications

Anton Ekblad, Koen Claessen
2014 Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14  
Our aim is to improve the painful and error-prone experience of today's standard development methods, in which clients and servers are coded in different languages and communicate with each other using  ...  client-centric; the programmer takes the viewpoint of the client that runs code on the server rather than the other way around, (3) functional and type-safe, and (4) portable; everything is implemented as a Haskell  ...  This is of course highly undesirable for many applications, which is why there is ongoing work in controlling the information flow within web applications [14] .  ... 
doi:10.1145/2633357.2633367 dblp:conf/haskell/EkbladC14 fatcat:5sdt5ykxmnf2dj5l7tnap55w6y
« Previous Showing results 1 — 15 out of 2,901 results