Filters








2,125 Hits in 2.8 sec

A Semantic Hierarchy for Erasure Policies [chapter]

Filippo Del Tedesco, Sebastian Hunt, David Sands
2011 Lecture Notes in Computer Science  
We present a semantic hierarchy for erasure policies, using a possibilistic knowledge-based semantics to define policy satisfaction such that there is an intuitively clear upper bound on what information  ...  While our main aim is to specify erasure policies, the semantic framework allows quite general information-flow policies to be formulated for a variety of semantic notions of secrecy. 1 g e t ( c c n u  ...  Many thanks to the anonymous referees for useful comments and observations.  ... 
doi:10.1007/978-3-642-25560-1_24 fatcat:6oyokrqwzffmvfjkfvlanehdfe

A Semantic Hierarchy for Erasure Policies [article]

Filippo Del Tedesco, Sebastian Hunt, David Sands
2011 arXiv   pre-print
We present a semantic hierarchy for erasure policies, using a possibilistic knowledge-based semantics to define policy satisfaction such that there is an intuitively clear upper bound on what information  ...  While our main aim is to specify erasure policies, the semantic framework allows quite general information-flow policies to be formulated for a variety of semantic notions of secrecy.  ...  As a step towards bridging this to more practical experiments in information erasure, it would be instructive to explore the connections to the rich policies expressible by the enforcement mechanism for  ... 
arXiv:1109.6914v1 fatcat:em5xolhkgzh23e34pmif5fznpe

Efficiency of subtype test in object oriented languages with generics

Alexandre Terrasa, Jean Privat
2013 Proceedings of the 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - ICOOOLPS'13  
In a programming language, the choice of a generics typing policy impacts both typing test semantics and type safety.  ...  Due to the small difference between the costs of the different policies, the choice of a policy by a language designer should not be influenced by performance considerations.  ...  The choice of a typing policy impacts both typing test semantics and type safety.  ... 
doi:10.1145/2491404.2491406 dblp:conf/ecoop/TerrasaP13 fatcat:crg7vfjdsvashdyevroubzmtei

From Exponential to Polynomial-Time Security Typing via Principal Types [chapter]

Sebastian Hunt, David Sands
2011 Lecture Notes in Computer Science  
This type system is inherently exponential, requiring a double typing of the erasure-labelled input command.  ...  Hunt and Sands (POPL'06) studied a flow sensitive type (FST) system for multi-level security, parametric in the choice of lattice of security levels.  ...  Thanks to the anonymous referees for their very helpful comments and suggestions for improvement.  ... 
doi:10.1007/978-3-642-19718-5_16 fatcat:qpiqc2pdozg4dibjm5ji6fc6ji

Page 2645 of Linguistics and Language Behavior Abstracts: LLBA Vol. 28, Issue 5 [page]

1994 Linguistics and Language Behavior Abstracts: LLBA  
subject index Russia language discourse, Russian conception/changes, collective memory erasure; 9411771 Russian as a second language learning, beginner's trip to Russia ac- count; 9409797 Russian alternative  ...  use; 9409864 Russian as a second language learning, beginner’s trip to Russia ac- count; 9409797 Rwanda (Country) French-speaking African countries’ language policies, official vs na- tional language  ... 

Information-Flow Preservation in Compiler Optimisations

Frederic Besson, Alexandre Dang, Thomas Jensen
2019 2019 IEEE 32nd Computer Security Foundations Symposium (CSF)  
We propose a compositional proof principle for proving that a transformation is IFP.  ...  To protect against a wide range of attacks, we model an attacker who is granted arbitrary memory accesses for a pre-defined set of observation points.  ...  Chong and Myers [9] propose semantics foundations for defining erasure policies. A main insight behind that work is that erasure can be seen as the dual of declassification [25] .  ... 
doi:10.1109/csf.2019.00023 dblp:conf/csfw/BessonDJ19 fatcat:ohbzmbhczbgjzh4nvjx3yflc4q

Experiences on File Systems: Which is the best file system for you?

J Blomer
2015 Journal of Physics, Conference Series  
On the other hand, the general and simple file system interface makes it notoriously difficult for a distributed file system to perform well under a variety of different workloads.  ...  This contribution provides a taxonomy of commonly used distributed file systems and points out areas of research and development that are particularly important for high-energy physics.  ...  For instance, HDFS extends POSIX semantics by an atomic append [15] , a feature particularly useful for the merging phase of MapReduce jobs.  ... 
doi:10.1088/1742-6596/664/4/042004 fatcat:q6wmxssh7vbftjyncwzlcyktsa

A Family-Based Framework for i-DSML Adaptation [chapter]

Samson Pierre, Eric Cariou, Olivier Le Goaer, Franck Barbier
2014 Lecture Notes in Computer Science  
Model execution is in particular a means to substitute models for code.  ...  Families can be specialized with the special purpose of defining a hierarchy of adaptation contexts.  ...  As a consequence, we propose the specialization of families and thereby to build a hierarchy of families for defining adaptation semantics. Specializing a family is based on specializing metamodels.  ... 
doi:10.1007/978-3-319-09195-2_11 fatcat:bpe3jrizprcdznsilwgg5oex7i

A Semantic Information Model Based on the Privacy Legislation

Kheira Bekara, Maryline Laurent
2011 2011 Conference on Network and Information Systems Security  
A semantic information model based on the privacy legislation.  ...  To do so, it discusses the main concepts involved in the legislative privacy principles, and deduces a privacy semantic information model, i.e. a privacy ontology.  ...  CONCLUSIONS In this paper, a semantic information model for supporting personal data protection is presented under the form of a privacy ontology.  ... 
doi:10.1109/sar-ssi.2011.5931375 fatcat:3wxrxktugnf2vc5yn5nxm3q37e

Integrating new Storage Technologies into EOS

Andreas J. Peters, Dan C. van der Ster, Joaquim Rocha, Paul Lensing
2015 Journal of Physics, Conference Series  
To cover and prepare for long-term requirements the CERN IT data and storage services group (DSS) is actively conducting R&D and open source contributions to experiment with a next generation storage software  ...  CERN IT is running a CEPH service in the context of OpenStack on a moderate scale of 1 PB replicated storage. Building a 100+PB storage system based on CEPH will require software and hardware tuning.  ...  Acknowledgements We thank all members of CERN IT, InkTank/Redhat and Seagate Technologies for inspiration, collaboration and groundbreaking storage solutions.  ... 
doi:10.1088/1742-6596/664/4/042043 fatcat:622fxgkdjran3ohqftiehjsfea

Page 1967 of Linguistics and Language Behavior Abstracts: LLBA Vol. 28, Issue 4 [page]

1994 Linguistics and Language Behavior Abstracts: LLBA  
Comrie’s NP accessibility hierarchy/M.  ...  for- eign language recognition procedures; personal account; 9409150 Lucas, C.  ... 

A first-class approach to genericity

Eric Allen, Jonathan Bannet, Robert Cartwright
2003 SIGPLAN notices  
A mixin can be fully type-checked given symbol tables for each of the classes that it directly references-the same context in which Java performs incremental class compilation.  ...  In this context, a mixin is simply a generic class that extends one of its type parameters, e.g., a class C that extends T.  ...  It is possible to define a "type erasure" semantics for System F , where programs are simply mapped to programs in the untyped λ-calculus with observably equivalent behavior. 6 Such a semantics is possible  ... 
doi:10.1145/949343.949316 fatcat:smt7i5dwlfchlpmajoqsnq7aby

A first-class approach to genericity

Eric Allen, Jonathan Bannet, Robert Cartwright
2003 Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03  
A mixin can be fully type-checked given symbol tables for each of the classes that it directly references-the same context in which Java performs incremental class compilation.  ...  In this context, a mixin is simply a generic class that extends one of its type parameters, e.g., a class C that extends T.  ...  It is possible to define a "type erasure" semantics for System F , where programs are simply mapped to programs in the untyped λ-calculus with observably equivalent behavior. 6 Such a semantics is possible  ... 
doi:10.1145/949315.949316 fatcat:6cg46w6gpraxbiwnsjsaxaandu

A first-class approach to genericity

Eric Allen, Jonathan Bannet, Robert Cartwright
2003 Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03  
A mixin can be fully type-checked given symbol tables for each of the classes that it directly references-the same context in which Java performs incremental class compilation.  ...  In this context, a mixin is simply a generic class that extends one of its type parameters, e.g., a class C that extends T.  ...  It is possible to define a "type erasure" semantics for System F , where programs are simply mapped to programs in the untyped λ-calculus with observably equivalent behavior. 6 Such a semantics is possible  ... 
doi:10.1145/949305.949316 dblp:conf/oopsla/AllenBC03 fatcat:leqj5uf57vc4bndjr2be3z7t3a

Monitoring External Resources in Java MIDP

David Aspinall, Patrick Maier, Ian Stark
2008 Electronical Notes in Theoretical Computer Science  
We present a Java library for mobile phones which tracks and controls at runtime the use of potentially costly resources, such as premium rate text messages.  ...  This improves on the existing framework (MIDP -the Mobile Information Device Profile [6]), where for example every text message must be authorised explicitly by the user as it is sent.  ...  This paper reflects only the authors' views and the European Community is not liable for any use that may be made of the information contained therein.  ... 
doi:10.1016/j.entcs.2007.10.011 fatcat:77v7dxftjvc7bmulpgwxb7vnje
« Previous Showing results 1 — 15 out of 2,125 results