Search results for "information flow"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Scott Moore, Stephen Chong	Static Analysis for Efficient Hybrid Information-Flow Control.	CSF	2011	DBLP DOI BibTeX RDF	hybrid information-flow monitors, dynamic information-flow monitors, information-flow control
4	Gaoshou Zhai, Yufeng Zhang, Chengyu Liu, Na Yang, Minli Tian, Hengsheng Yang	Automatic identification of covert channels inside Linux kernel based on source codes.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	covert channel identification, information flow tree, semantic information flow, shared resource matrix, syntactic information flow, Linux kernel
4	Wes Masri, Andy Podgurski	Measuring the strength of information flows in programs.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	information flow length, information flow strength, entropy, correlation, dynamic slicing, program dependence, information leakage, Dynamic information flow analysis
3	Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu	Strict control dependence and its effect on dynamic information flow analyses.	ISSTA	2010	DBLP DOI BibTeX RDF	dynamic information flow, strict control dependence, data dependence, control dependence, taint analysis
3	Niklas Broberg, David Sands	Paralocks: role-based information flow control and beyond.	POPL	2010	DBLP DOI BibTeX RDF	information flow, security policies, language based security
3	Jason Oberg, Wei Hu, Ali Irturk, Mohit Tiwari, Timothy Sherwood, Ryan Kastner	Theoretical analysis of gate level information flow tracking.	DAC	2010	DBLP DOI BibTeX RDF	hardware security, Boolean logic, information flow tracking
3	Jason Howarth, Irfan Altas, Barney Dalgarno	Information Flow Control Using the Java Virtual Machine Tool Interface (JVMTI).	ARES	2010	DBLP DOI BibTeX RDF	dynamic flow control, indirect information flow, Java Virtual Machine Tool Interface (JVMTI), Java, Information flow control, non-interference
3	Limin Jia, Steve Zdancewic	Encoding information flow in Aura.	PLAS	2009	DBLP DOI BibTeX RDF	access control, information flow control, declassification, security type system, authorization logic
3	Niklas Broberg, David Sands	Flow-sensitive semantics for dynamic information flow policies.	PLAS	2009	DBLP DOI BibTeX RDF	information flow control, declassification, security type system
3	Thomas H. Austin, Cormac Flanagan	Efficient purely-dynamic information flow analysis.	PLAS	2009	DBLP DOI BibTeX RDF	dynamic analysis, information flow control
3	Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel	Laminar: practical fine-grained decentralized information flow control.	PLDI	2009	DBLP DOI BibTeX RDF	security region, operating systems, java virtual machine, information flow control
3	Avraham Shinnar, Marco Pistoia, Anindya Banerjee	A language for information flow: dynamic tracking in multiple interdependent dimensions.	PLAS	2009	DBLP DOI BibTeX RDF	information flow control, declassification, security type system
3	Khair Eddin Sabri, Ridha Khédri, Jason Jaskolka	Verification of Information Flow in Agent-Based Systems.	MCETECH	2009	DBLP DOI BibTeX RDF	Global calculus, Information Algebra, Agent Knowledge, Information Flow, Hoare Logic
3	Mohit Tiwari, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood	Complete information flow tracking from the gates up.	ASPLOS	2009	DBLP DOI BibTeX RDF	provably sound, gate level, information flow tracking
3	Haibo Chen, Liwei Yuan, Xi Wu, Binyu Zang, Bo Huang 0002, Pen-Chung Yew	Control flow obfuscation with information flow tracking.	MICRO	2009	DBLP DOI BibTeX RDF	control flow obfuscation, opaque predicate, information flow tracking, control speculation
3	Linda Hermer-Vazquez	Tracing 'driver' versus 'modulator' information flow throughout large-scale, task-related neural circuitry.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Directed coherence, Action potentials, Local field potentials, Information flow, Granger causality
3	Lantian Zheng, Andrew C. Myers	Securing nonintrusive web encryption through information flow.	PLAS	2008	DBLP DOI BibTeX RDF	encryption, type system, information flow control
3	Ye Liang, Hong Bao, Hongzhe Liu	Information Flow based Ontology Mapping.	SNPD	2008	DBLP DOI BibTeX RDF	Ontology, Information Flow, Ontology mapping
3	Cédric Fournet, Tamara Rezk	Cryptographically sound implementations for typed information-flow security.	POPL	2008	DBLP DOI BibTeX RDF	probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow
3	Matthias Werner, Michael A. Jaeger, Helge Parzyjegla	An Application of the (max, +) Algebra to Information Flow Security.	ICN	2008	DBLP DOI BibTeX RDF	maxplus, security, information flow, lattice model
3	Tomoya Enokido, Makoto Takizawa	Synchronization of Transactions to Prevent Illegal Information Flow in a Role-Based Access Control Model.	AINA	2008	DBLP DOI BibTeX RDF	Rrole-based access control, Confinement problem, Information Flow
3	Ron van der Meyden, Chenyi Zhang	Information Flow in Systems with Schedulers.	CSF	2008	DBLP DOI BibTeX RDF	scheduler, information flow, noninterference
3	Olatunji Ruwase, Phillip B. Gibbons, Todd C. Mowry, Vijaya Ramachandran, Shimin Chen, Michael Kozuch, Michael P. Ryan	Parallelizing dynamic information flow tracking.	SPAA	2008	DBLP DOI BibTeX RDF	dynamic information flow tracking (dift), log-based monitoring, parallel algorithm, taint analysis, program monitoring
3	Petros Efstathopoulos, Eddie Kohler	Manageable fine-grained information flow.	EuroSys	2008	DBLP DOI BibTeX RDF	decentralized information flow control, debugging, labels, policy language
3	Alejandro Russo, Koen Claessen, John Hughes	A library for light-weight information-flow security in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	information-flow, library, monad, declassification
3	Stephen Tse, Steve Zdancewic	Run-time principals in information-flow type systems.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference
3	Kohei Honda, Nobuko Yoshida	A uniform type structure for secure information flow.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	The ?-calculus, type-based program analysis, typing system, secure information flow
3	Scott F. Smith, Mark Thober	Improving usability of information flow security in java.	PLAS	2007	DBLP DOI BibTeX RDF	java, security policies, type inference, declassification, information flow security
3	Stephen McCamant, Michael D. Ernst	A simulation-based proof technique for dynamic information flow.	PLAS	2007	DBLP DOI BibTeX RDF	implicit flow, dynamic analysis, information-flow analysis
3	Steffen Ortmann, Peter Langendörfer, Michael Maaser	Enhancing Privacy by Applying Information Flow Modelling in Pervasive Systems.	OTM Workshops	2007	DBLP DOI BibTeX RDF	Information Flow Modelling, Sensor Networks, Privacy, Pervasive Computing
3	Maxwell N. Krohn, Alexander Yip, Micah Z. Brodsky, Natan Cliffer, M. Frans Kaashoek, Eddie Kohler, Robert Morris	Information flow control for standard OS abstractions.	SOSP	2007	DBLP DOI BibTeX RDF	DIFC, decentralized information flow control, endpoints, system call interposition, web services, reference monitor
3	Xiaodan Song, Yun Chi, Koji Hino, Belle L. Tseng	Information flow modeling based on diffusion rate for prediction and ranking.	WWW	2007	DBLP DOI BibTeX RDF	web ranking, collaborative filtering, recommendation, information flow, diffusion of innovation, social influence, continuous-time Markov chain
3	Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl	An Information Flow Verifier for Small Embedded Systems.	WISTP	2007	DBLP DOI BibTeX RDF	class loading, information flow, confidentiality, type checking
3	Charlotte Tang, M. Sheelagh T. Carpendale	An observational study on information flow during nurses' shift change.	CHI	2007	DBLP DOI BibTeX RDF	information assembly, information disassembly, shift change, information flow, observational study, common information space, nursing, personal information space
3	Jianjun Shen, Sihan Qing	A dynamic information flow model of secure systems.	ASIACCS	2007	DBLP DOI BibTeX RDF	access control, information flow, security policy, covert channel
3	Torben Amtoft, Anindya Banerjee	Verification condition generation for conditional information flow.	FMSE	2007	DBLP DOI BibTeX RDF	conditional information flow analysis, object invariants, verification condition generation
3	Han Tang, Bruce M. McMillin	Security of Information Flow in the Electric Power Grid.	Critical Infrastructure Protection	2007	DBLP DOI BibTeX RDF	information flow, confidentiality, power grid, Cyber-physical systems
3	Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller	Efficient type inference for secure information flow.	PLAS	2006	DBLP DOI BibTeX RDF	security, algorithm, information flow, time complexity, type inference
3	Yi-Ming Chen, Yung-Wei Kao	Information Flow Query and Verification for Security Policy of Security-Enhanced Linux.	IWSEC	2006	DBLP DOI BibTeX RDF	information flow, security policy, Colored Petri Nets, SELinux
3	Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl	Embedding verifiable information flow analysis.	PST	2006	DBLP DOI BibTeX RDF	embedded systems, static analysis, information flow, confidentiality, language-based security, smart objects
3	Torben Amtoft, Sruthi Bandhakavi, Anindya Banerjee	A logic for information flow in object-oriented programs.	POPL	2006	DBLP DOI BibTeX RDF	information flow, confidentiality, aliasing
3	Xiaodan Song, Belle L. Tseng, Ching-Yung Lin, Ming-Ting Sun	Personalized recommendation driven by information flow.	SIGIR	2006	DBLP DOI BibTeX RDF	collaborative filtering, information flow, personalized recommendation
3	Fredrik Seehusen, Ketil Stølen	Information flow property preserving transformation of UML interaction diagrams.	SACMAT	2006	DBLP DOI BibTeX RDF	UML, refinement, model driven architecture, transformation, information flow security
3	Geoffrey Smith, Rafael Alpízar	Secure information flow with random assignment and encryption.	FMSE	2006	DBLP DOI BibTeX RDF	IND-CCA, IND-CPA, encryption, type systems, reductions, noninterference, secure information flow
3	Wes Masri, Andy Podgurski	Using dynamic information flow analysis to detect attacks against applications.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	intrusion detection, Computer security, program dependences, observation-based testing, dynamic information flow analysis
3	Donald Metzler, Yaniv Bernstein, W. Bruce Croft, Alistair Moffat, Justin Zobel	Similarity measures for tracking information flow.	CIKM	2005	DBLP DOI BibTeX RDF	information flow, text reuse, statistical translation
3	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini	Information flow in hybrid systems.	ACM Trans. Embedded Comput. Syst.	2004	DBLP DOI BibTeX RDF	Hybrid systems, information flow
3	Roderick Chapman, Adrian Hilton	Enforcing security and safety models with an information flow analysis tool.	SIGAda	2004	DBLP DOI BibTeX RDF	Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow
3	Xiaodong Yi, Xuejun Yang	A Security Verification Method for Information Flow Security Policies Implemented in Operating Systems.	ICICS	2003	DBLP DOI BibTeX RDF	Information Flow Security Policy, Security Verification, Secure Operating System
3	Shih-Chien Chou	Information Flow Control among Objects: Taking Foreign Objects into Control. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF	security, Information flow, information flow control
3	Matthew Hennessy, James Riely	Information flow vs. resource access in the asynchronous pi-calculus.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Distributed process language, I/O subtyping, may testing, security types, security, information flow, pi-calculus, noninterference
3	John Moses, Malcolm Farrow, Peter Smith	Statistical Methods for Predicting and Improving Cohesion Using Information Flow: An Empirical Study.	Software Quality Journal	2002	DBLP DOI BibTeX RDF	information flow measures, cohesion prediction systems, empirical relations, ordinal cohesion scales, binary and ordinal logistic regression, cohesion
3	Peter Bruza, Dawei Song	Inferring query models by computing information flow.	CIKM	2002	DBLP DOI BibTeX RDF	query language modelling, information flow, inference
3	Sueli Bandeira Teixeira Mendes, Oscar Luiz Monteiro de Farias	Applying Logic of Information Flow and Situation Theory to Model Agents That Simulate the Stock Market Behaviour.	IEA/AIE	2001	DBLP DOI BibTeX RDF	Theory of Situation, Logic of Information Flow, Agents, Stock Market
3	Elisa Bertino, Sabrina De Capitani di Vimercati, Elena Ferrari, Pierangela Samarati	Exception-Based Information Flow Control in Object-Oriented Systems.	ACM Trans. Inf. Syst. Secur.	1998	DBLP DOI BibTeX RDF	condifentiality, object-oriented databases and systems, access control, information flow control
3	Riccardo Focardi, Roberto Gorrieri	The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Tools and techniques, network protocol verification, access controls, program verification, information flow controls
3	Elena Ferrari, Pierangela Samarati, Elisa Bertino, Sushil Jajodia	Providing flexibility in information flow control for object oriented systems.	IEEE Symposium on Security and Privacy	1997	DBLP DOI BibTeX RDF	information flow control flexibility, exception specification, waivers, invoke-waivers, reply-waivers, information transmission, security specifications, safe information flows, access control, object-oriented programming, authorizations, transaction, object oriented systems, interaction modes
3	Beverly G. Knapp	C3I information flow models: integrating and interfaces.	ECBS	1997	DBLP DOI BibTeX RDF	C3I information flow models, human-centered modeling efforts, military C3I systems, task workload simulation, rule-based information quality assessment model, computational instructions, information technology, information technology
3	Frédéric Cuppens, Gilles Trouessin	Information Flow Controls vs Interference Controls: An Integrated Approach.	ESORICS	1994	DBLP DOI BibTeX RDF	Modal logic, Security model, Database security, Information flow control, Inference control
3	Jean-Pierre Banâtre, Ciarán Bryce, Daniel Le Métayer	Compile-Time Detection of Information Flow in Sequential Programs.	ESORICS	1994	DBLP DOI BibTeX RDF	formal verification, program analysis, computer security, information flow, verification tools
3	Richard P. Reitman, Gregory R. Andrews	Certifying Information Flow Properties of Programs: An Axiomatic Approach.	POPL	1979	DBLP DOI BibTeX RDF	policy certification, concurrency, synchronization, computer security, information flow, proof rules, program validation
2	Aleksandar Nanevski, Anindya Banerjee, Deepak Garg	Verification of Information Flow and Access Control Policies with Dependent Types.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	Access Control, Information Flow, Type Theory
2	Sören Preibusch	Information Flow Control for Static Enforcement of User-Defined Privacy Policies.	POLICY	2011	DBLP DOI BibTeX RDF	privacy policy enforcement, user-defined policies, JIF, privacy negotiations, electronic commerce, case-study, information flow control
2	Yang Zhang, Junliang Chen	Policy Consolidation and Privacy-Vital Information Flow Control in Composite Services.	IEEE SCC	2011	DBLP DOI BibTeX RDF	Privacy, Access Control, Information Flow Control
2	Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger	The Complexity of Quantitative Information Flow Problems.	CSF	2011	DBLP DOI BibTeX RDF	quantitative information flow, computational complexity, verification, synthesis
2	Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood	Gate-Level Information-Flow Tracking for Secure Architectures.	IEEE Micro	2010	DBLP DOI BibTeX RDF	covert channels, noninterference, high-assurance systems, timing channels, information-flow tracking
2	Sardaouna Hamadou, Vladimiro Sassone, Catuscia Palamidessi	Reconciling Belief and Vulnerability in Information Flow.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	quantitative and probabilistic models, Security, uncertainty, information flow, accuracy, information hiding, vulnerability, belief, data confidentiality
2	Serif Bahtiyar, Murat Cihan, Mehmet Ufuk Çaglayan	A Model of Security Information Flow on Entities for Trust Computation.	CIT	2010	DBLP DOI BibTeX RDF	Security, Trust, Information Flow
2	Skyler Schneider, Daniel Y. Deng, Daniel Lo, Greg Malysa, G. Edward Suh	Implementing dynamic information flow tracking on microprocessors with integrated FPGA fabric (abstract only).	FPGA	2010	DBLP DOI BibTeX RDF	dynamic inspection, reconfigurable microprocessors, fpga
2	Andrey Chudnov, David A. Naumann	Information Flow Monitor Inlining.	CSF	2010	DBLP DOI BibTeX RDF	program transformation, information security, Information flow, reference monitors
2	Achim D. Brucker, Dieter Hutter	Information Flow in Disaster Management Systems.	ARES	2010	DBLP DOI BibTeX RDF	liaison officer, access control, information flow, disaster management
2	Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld	A lattice-based approach to mashup security.	ASIACCS	2010	DBLP DOI BibTeX RDF	web mashups, information flow, security policies, lattices, noninterference, declassification
2	Fredrik Seehusen, Bjørnar Solhaug, Ketil Stølen	Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and policies.	Software and System Modeling	2009	DBLP DOI BibTeX RDF
2	Elizabeth M. Daly, Mads Haahr	Social Network Analysis for Information Flow in Disconnected Delay-Tolerant MANETs.	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
2	Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner	Staged information flow for javascript.	PLDI	2009	DBLP DOI BibTeX RDF	integrity, web applications, confidentiality, flow analysis, set constraints
2	V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee	Merlin: specification inference for explicit information flow problems.	PLDI	2009	DBLP DOI BibTeX RDF	security analysis tools, specification inference
2	Ankush Garg, Prantik Bhattacharyya, Charles U. Martel, Shyhtsun Felix Wu	Information Flow and Search in Unstructured Keyword Based Social Networks.	CSE	2009	DBLP DOI BibTeX RDF
2	Ioannis Papagiannis, Matteo Migliavacca, Peter R. Pietzuch, Brian Shand, David M. Eyers, Jean Bacon	PrivateFlow: decentralised information flow control in event based middleware.	DEBS	2009	DBLP DOI BibTeX RDF
2	Tomoya Enokido, Makoto Takizawa	A Purpose Marking and Releasing Protocol for Information Flow Control.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
2	Jeff Waters, James Eitelberg, Ritesh Patel, Marion G. Ceruti	Investigation of information flow in hierarchical organizations using agent-based modeling.	SpringSim	2009	DBLP DOI BibTeX RDF	intelligent agents, information flow, organizational structure
2	Adedayo Adetoye, Atta Badii	A Policy Model for Secure Information Flow.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
2	Claus Wonnemann, Rafael Accorsi, Günter Müller	On Information Flow Forensics in Business Application Scenarios.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Juan Carlos Martinez Santos, Yunsi Fei, Zhijie Jerry Shi	PIFT: efficient dynamic information flow tracking using secure page allocation.	WESS	2009	DBLP DOI BibTeX RDF	control flow validation, security attacks, program validation
2	Grazyna Brzykcy	Information Flow in a Peer-to-Peer Data Integration System.	KES-AMSTA	2009	DBLP DOI BibTeX RDF	schema mapping, query rewriting, P2P system, XML data, declarative specification
2	William R. Harris, Nicholas Kidd, Sagar Chaki, Somesh Jha, Thomas W. Reps	Verifying Information Flow Control over Unbounded Processes.	FM	2009	DBLP DOI BibTeX RDF
2	Weiguo Li, Ruoyu Wu, He Huang	Colored Petri Nets Based Modeling of Information Flow Security.	WKDD	2009	DBLP DOI BibTeX RDF
2	Hyung Chan Kim, Angelos D. Keromytis, Michael Covington, Ravi Sahita	Capturing Information Flow with Concatenated Dynamic Taint Analysis.	ARES	2009	DBLP DOI BibTeX RDF
2	Chunyan Mu, David Clark	Quantitative Analysis of Secure Information Flow via Probabilistic Semantics.	ARES	2009	DBLP DOI BibTeX RDF
2	Geoffrey Smith	On the Foundations of Quantitative Information Flow.	FOSSACS	2009	DBLP DOI BibTeX RDF
2	Wei She, I-Ling Yen, Bhavani M. Thuraisingham, Elisa Bertino	The SCIFC Model for Information Flow Control in Web Service Composition.	ICWS	2009	DBLP DOI BibTeX RDF
2	Cédric Fournet, Gurvan Le Guernic, Tamara Rezk	A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	cryptography, compilers, computational model
2	Yu-En Lu, Sam Roberts, Tammy M. K. Cheng, Robin Dunbar, Pietro Liò, Jon Crowcroft	On optimising personal network size to manage information flow.	CIKM-CNIKM	2009	DBLP DOI BibTeX RDF	social networks, spectral graph theory, random matrix theory
2	Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov	Tracking Information Flow in Dynamic Tree Structures.	ESORICS	2009	DBLP DOI BibTeX RDF
2	Colin J. Fidge, Diane Corney	Integrating hardware and software information flow analyses.	LCTES	2009	DBLP DOI BibTeX RDF	communications devices, information security evaluation, embedded software
2	Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic	Reactive noninterference.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	web applications, information flow, web browsers, noninterference, reactive programming
2	Cynthia E. Irvine, Thuy D. Nguyen, David J. Shifflett, Timothy E. Levin, Jean Khosalim, Charles Prince, Paul C. Clark, Mark Gondree	MYSEA: the monterey security architecture.	STC	2009	DBLP DOI BibTeX RDF	authentication, access controls, information flow controls, cryptographic controls
2	Charlotte Tang, M. Sheelagh T. Carpendale	A mobile voice communication system in medical setting: love it or hate it?	CHI	2009	DBLP DOI BibTeX RDF	vocera, mobile, healthcare, information flow, voice communication, observational study, communication strategy
2	Alexander Yip, Neha Narula, Maxwell N. Krohn, Robert Morris	Privacy-preserving browser-side scripting with BFlow.	EuroSys	2009	DBLP DOI BibTeX RDF	javascript, labels, information flow control, web platforms
2	Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood	Execution leases: a hardware-supported mechanism for enforcing strong non-interference.	MICRO	2009	DBLP DOI BibTeX RDF	gate level information flow tracking, covert channels, high assurance systems, timing channels
2	Ziqing Mao, Ninghui Li, Hong Chen, Xuxian Jiang	Trojan horse resistant discretionary access control.	SACMAT	2009	DBLP DOI BibTeX RDF	access control, operating system, information flow