Výsledky vyhľadávania - Language-based Information Flow Security

Language-based information-flow security Autor Sabelfeld, A., Myers, A.C.

“…; this policy regulates information flow. Conventional security mechanisms such as access control and encryption do not directly address the enforcement of information-flow policies…”
Získať plný text

On-the-fly inlining of dynamic security monitors Autor Magazinius, Jonas, Russo, Alejandro, Sabelfeld, Andrei

“…? Language-based information-flow security considers programs that manipulate pieces of data at different sensitivity levels…”
Získať plný text

Jif: Language-based Information-flow Security in Java Autor Pullicino, Kyle

“… We list the main features of Jif and discuss the information flow problem that Jif helps to solve…”
Získať plný text

Towards Language-Based Mitigation of Traffic Analysis Attacks Autor Blaabjerg, Jeppe Fredsgaard, Askarov, Aslan

“… them, and the problem has received little attention in the language-based information flow literature…”
Získať plný text

Instruction-level security analysis for information flow in stack-based assembly languages Autor De Francesco, Nicoletta, Martini, Luca

“…We propose a method to analyze secure information flow in stack-based assembly languages, communicating with the external environment by means of input and output channels…”
Získať plný text

QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment Autor Guo, Xiaolong, Dutta, Raj Gautam, He, Jiaji, Tehranipoor, Mark M., Jin, Yier

“… As a result, various security solutions have been developed to protect ICs, among which the language-based hardware security verification serves as a promising solution…”
Získať plný text

A scalable entropy estimator Autor Golia, Priyanka, Juba, Brendan, Meel, Kuldeep S.

“…) in programming-language-based security. Here, information-theoretic quantities capture the effort required on the part of an adversary to obtain access to confidential…”
Získať plný text

Nontransitive Security Types for Coarse-grained Information Flow Control Autor Lu, Yi, Zhang, Chenyi

“…Language-based information flow control (IFC) aims to provide guarantees about information propagation in computer systems having multiple security levels…”
Získať plný text

A monadic analysis of information flow security with mutable state Autor CRARY, KARL, KLIGER, ALEKSEY, PFENNING, FRANK

“… Our analysis is based on a logic of information flow derived from lax logic and the monadic metalanguage…”
Získať plný text

Security types preserving compilation Autor Barthe, Gilles, Rezk, Tamara, Basu, Amitabh

“…” (Sabelfeld and Myers, [Language-based information-flow security. IEEE Journal on Selected Areas in Communications 2003; 21:5–19…”
Získať plný text

Securing Class Initialization in Java-like Languages Autor Rafnsson, W., Nakata, K., Sabelfeld, A.

“…Language-based information-flow security is concerned with specifying and enforcing security policies for information flow via language constructs…”
Získať plný text

Towards Language-Based Mitigation of Traffic Analysis Attacks Autor Jeppe Fredsgaard Blaabjerg, Aslan Askarov

“… them, and the problem has received little attention in the language-based information flow literature…”
Získať plný text

Compositional Security for Reentrant Applications Autor Cecchetti, Ethan, Yao, Siqiu, Ni, Haobin, Myers, Andrew C.

“… power of safe forms of reentrancy. We present a security type system that provably enforces secure information flow…”
Získať plný text

A Field-Sensitive Security Monitor for Object-Oriented Programs Autor Khakpour, Narges

“… flow violations and applies suitable countermeasures to prevent violations. We introduce an approach for modeling heap and information flow via heap…”
Získať plný text

Information Flow Control for Distributed Trusted Execution Environments Autor Gollamudi, Anitha, Chong, Stephen, Arden, Owen

“…Distributed applications cannot assume that their security policies will be enforced on untrusted hosts…”
Získať plný text

SoK: Shining Light on Shadow Stacks Autor Burow, Nathan, Zhang, Xinping, Payer, Mathias

“…Control-Flow Hijacking attacks are the dominant attack vector against C/C++ programs. Control-Flow Integrity…”
Získať plný text

Information Flow Control for Serverless Systems Autor Chawla, Rishabh

“…Security for Serverless Systems is looked at from two perspectives, the server-level security managed by the infras-tructure company and the Application level Security managed…”
Získať plný text

IFCIL: An Information Flow Configuration Language for SELinux Autor Ceragioli, Lorenzo, Galletta, Letterio, Degano, Pierpaolo, Basin, David

“… However, CIL lacks mechanisms for ensuring that the resulting configurations obey desired information flow policies…”
Získať plný text

Secure information sharing in social agent interactions using information flow analysis Autor Bijani, Shahriar, Robertson, David, Aspinall, David

“…), a compact executable specification language based on logic programming and pi-calculus. Open multi-agent systems have experienced growing popularity in the multi-agent…”
Získať plný text

Integrating Information Flow Analysis in Unifying Theories of Programming Autor Mu, Chunyan, Li, Guoqiang

“…This paper presents a formal approach for modelling and reasoning about information flow control in software systems under Hoare and He's Unifying Theories of Programming (UTP…”
Získať plný text