Skip to search formSkip to main contentSkip to account menu

Language-based security

Known as: Language based security 
In computer science, language-based security (LBS) is a set of techniques that may be used to strengthen the security of applications on a high level… 
Wikipedia (opens in a new tab)

Related topics

Related topics

33 relations
Access controlAutomated proof checkingAutomated theorem provingBuffer overflow

Broader (1)

Computer security

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
The Origin of the Group in Logic and the Methodology of Science
2013
2013
Language-Based Security for Software-Defined Networks
  • 2013
  • Corpus ID: 15271826
In many settings, including campuses, enterprises, militaries, and datacenters, networks must be shared between entities that… 
2013
2013
Program Transformation Based on Symbolic Execution and Deduction
We present a program transformation framework based on symbolic execution and deduction. Its virtues are: ii??behavior… 
2013
2013
A Language Based Security Approach for Securing Map-Reduce Computations in the Cloud
We present a model for securing Map/Reduce computation in the cloud. The model uses a language based security approach to enforce… 
2010
2010
Dynamic filtering: multi-purpose architecture support for language runtime systems
This paper introduces a new abstraction to accelerate the read-barriers and write-barriers used by language runtime systems. We… 
2009
2009
Language-based security on Android (abstract only)
In this paper, we initiate a formal study of security on Android: Google's new open-source platform for mobile devices… 
2009
2009
Higher-Order Program Verification and Language-Based Security
Language-based security has been a hot research area of computer security in the last decade. It addresses various concerns about… 
Review
2006
Review
2006
Applying the Layered Decision Model to the Design of Language-Based Security Systems
Safeguarding practices for networked systems involves decisions in at least three areas: identification of well-defined security… 
2004
2004
Symmetric behavior-based trust: a new paradigm for internet computing
Current models of Internet Computing are highly asymmetric - a host protects itself from malicious mobile Java programs, but… 
1999
1999
Java Card or How to Cope with the New Security Issues Raised by Open Cards
In this paper, we aim to discuss various threats raised by Java Cards at various levels of the system. First, we address the Java… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)