Suchergebnisse - Language-based Information Flow Security

Language-based information-flow security von 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 …”
Volltext

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

“… ? Language-based information-flow security considers programs that manipulate pieces of data at different sensitivity levels …”
Volltext

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

“… We list the main features of Jif and discuss the information flow problem that Jif helps to solve …”
Volltext

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

“… them, and the problem has received little attention in the language-based information flow literature …”
Volltext

Instruction-level security analysis for information flow in stack-based assembly languages von 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 …”
Volltext

QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment von 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 …”
Volltext

A scalable entropy estimator von 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 …”
Volltext

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

“… Language-based information flow control (IFC) aims to provide guarantees about information propagation in computer systems having multiple security levels …”
Volltext

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

“… Our analysis is based on a logic of information flow derived from lax logic and the monadic metalanguage …”
Volltext

Security types preserving compilation von 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 …”
Volltext

Securing Class Initialization in Java-like Languages von 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 …”
Volltext

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

“… them, and the problem has received little attention in the language-based information flow literature …”
Volltext

Compositional Security for Reentrant Applications von 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 …”
Volltext

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

“… flow violations and applies suitable countermeasures to prevent violations. We introduce an approach for modeling heap and information flow via heap …”
Volltext

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

“… Distributed applications cannot assume that their security policies will be enforced on untrusted hosts …”
Volltext

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

“… Control-Flow Hijacking attacks are the dominant attack vector against C/C++ programs. Control-Flow Integrity …”
Volltext

Information Flow Control for Serverless Systems von 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 …”
Volltext

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

“… However, CIL lacks mechanisms for ensuring that the resulting configurations obey desired information flow policies …”
Volltext

Secure information sharing in social agent interactions using information flow analysis von 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 …”
Volltext

Integrating Information Flow Analysis in Unifying Theories of Programming von 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 …”
Volltext