Language-based information-flow security

Keywords

Computer science, Computer security, Information flow, Security policy, Confidentiality

References

• Compiling with TypesGreg Morrisett — 1995
• Book review: A Theory of Objects by Martin Abadi and Luca Cardelli (Springer-Verlag, 1996): Series--Monographs in Computer ScienceBrian Postow — 1999
• End-to-end arguments in system designJerome H. Saltzer, David P. Reed, David D. Clark — 1984
• Bisimulation through Probabilistic TestingKim G. Larsen, Arne Skou — 1991
• Simple Object Access Protocol と,その応用としてのソフトウェアの組み合わせについて (渡邉昭夫教授退任記念号)正嗣 大島 — 2001
• Simple object access protocol (SOAP) 1.1Donald F. Box — 2000
• Trust and Dependence AnalysisPeter Ørbæk — 1997
• An information flow tool for GypsyJohn McHugh — 2001
• A Per Model of Secure Information Flow in Sequential ProgramsAndrei Sabelfeld, David Sands — 1999
• Semantic Models for the Security of Sequential and Concurrent ProgramsAndrei Sabelfeld — 2001
• Secure Information Flow via Linear ContinuationsSteve Zdancewic, Andrew C. Myers — 2002
• A unifying approach to the security of distributed and multi-threaded programsHeiko Mantel, Andrei Sabelfeld — 2003
• A Theory of ObjectsMartı́n Abadi, Luca Cardelli — 1996
• Principles of Program AnalysisFlemming Nielson, Hanne Riis Nielson, Chris Hankin — 1999
• A Calculus for Cryptographic Protocols: The spi CalculusMartı́n Abadi, Andrew D. Gordon — 1999
• Trust in the lambda-CalculusJens Palsberg, Peter Ørbæk — 1995
• Programming Languages for Information SecurityStephan A Zdancewic, Andrew Myers — 2002
• Type Based Techniques for Covert Channel Elimination and Register AllocationJohan Agat — 2000
• Static analysis and computer security: new techniques for software assuranceDavid Wagner, Eric Brewer — 2000
• Secure composition of untrusted code: box π, wrappers, and causality typesPeter Sewell, Jan Vítek — 2003

Cited by

• Observation-based Fine Grained Access Control for Relational DatabasesRaju Halder, Agostino Cortesi — 2010
• Dynamic Information Flow Analysis for JavaScript in a Web BrowserCormac Flanagan, Thomas H. Austin — 2013
• A Framework for the Cryptographic Verification of Java-Like ProgramsRalf Küsters, Tomasz Truderung — 2012
• LMonad: Information flow control for Haskell web applicationsJames Parker — 2014
• Challenges for Information-flow SecuritySteve Zdancewic — 2004
• Influence: A Quantitative Approach for Data Integrity (CMU-CyLab-08-005)James Newsome, Dawn Song — 2008
• From Interfering to Non-interfering ProgramsGilles Barthe, Salvador Cavadini — 2007
• Structuring structural operational semanticsMohammad Reza Mousavi — 2005
• Probability and Time in Measuring SecurityAnatol Slissenko — 2005
• An MSLS-EMM for enforcing confidentiality in malicious environmentsBei Wang, Jim Alves-Foss — 2006
• Using functional active objects to enforce privacyFlorian Kammueller — 2010
• Domain Separation by ConstructionWilliam L. Harrison, Mark Tullsen, James Hook — 2003
• HiPIP: High-Performance Invocation ProtectionKatherine Connelly — 2003
• Security analysis of private data enquiries in ErlangFlorian Kammueller, Reiner Kammueller — 2009
• Secure Data Preservers for Web ServicesJayanthkumar Kannan, Petros Maniatis, Byung-Gon Chun — 2011
• Language based information routing security: policy enforcementGeorge S. Oreku, Jianzhong Li, Fredrick Mtenzi — 2009
• Enforcement of applet boundaries in Java card systemsCinzia Bernardeschi, Luca Martini — 2004
• Analyse de sécurité de logiciels système par typage statique. (Security analysis of system code using static typing)Etienne Millon — 2014
• Information Flow TestingGurvan Le Guernic — 2007
• Information Flow Analysis Based Security Checking of Health Service Composition PlansDieter Hutter, Matthias Klusch, Melanie Volkamer — 2006

Related papers

• A Framework for Translating a High Level Security Policy into Low Level Security MechanismsA. A. Hassan, Waleed M. Bahgat — 2009
• A framework for translating a high level security policy into low level security mechanismsA. A. Hassan, Waleed M. Bahgat — 2009
• A Survey of Computer Security ModelsSunil Kumar Muttoo, Sushil Kumar, Nidhi Tyagi — 2014
• Design and implementation of credible security platform of networkJun Xiang — 2007
• Dealing with Multi Security Policies in Communication NetworksRyma Abassi, Sihem Guemara El Fatmi — 2009
• How Secure is Secure: Some Thoughts on Security Metrics.T. C. Ting — 1995
• Embedding Model-Based Security Policies in Software DevelopmentJavier Navarro-Machuca, Li‐Chiou Chen — 2016