Search results for "non-interference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Andrea Marin, Carla Piazza, Sabina Rossi	A Process Algebra for (Delimited) Persistent Stochastic Non-Interference.	QEST	2019	DBLP DOI BibTeX RDF
9	Andrea Marin, Carla Piazza, Sabina Rossi	A Process Algebra for (Delimited) Persistent Stochastic Non-Interference.	CILC	2019	DBLP BibTeX RDF
9	Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi	Delimited Persistent Stochastic Non-Interference.	VALUETOOLS	2019	DBLP DOI BibTeX RDF
9	Kento Tariki, Takuya Kiyokawa, Tomoki Nagatani, Jun Takamatsu, Tsukasa Ogasawara	3D Model-Based Non-interference Assembly Sequence Generation for Products with a Large Number of Parts.	CIS/RAM	2019	DBLP DOI BibTeX RDF
9	Roberto Giacobazzi, Isabella Mastroeni	Abstract Non-Interference: A Unifying Framework for Weakening Information-flow.	ACM Trans. Priv. Secur.	2018	DBLP DOI BibTeX RDF
9	Ghazwan Alsoufi, Xinan Yang, Abdellah Salhi	Combined quay crane assignment and quay crane scheduling with crane inter-vessel movement and non-interference constraints.	J. Oper. Res. Soc.	2018	DBLP DOI BibTeX RDF
9	Paolo Baldan, Alessandro Beggiato	Multilevel transitive and intransitive non-interference, causally.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
9	Jane Hillston, Carla Piazza, Sabina Rossi	Persistent Stochastic Non-Interference.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF
9	Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, François-Xavier Standaert, Pierre-Yves Strub	Improved Parallel Mask Refreshing Algorithms: Generic Solutions with Parametrized Non-Interference & Automated Optimizations.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
9	Gaëtan Cassiers, François-Xavier Standaert	Improved Bitslice Masking: from Optimized Non-Interference to Probe Isolation.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
9	Travis H. Boraten, Avinash Karanth Kodi	Securing NoCs Against Timing Attacks with Non-Interference Based Adaptive Routing.	NOCS	2018	DBLP DOI BibTeX RDF
9	Aleksandr Karbyshev, Kasper Svendsen, Aslan Askarov, Lars Birkedal	Compositional Non-interference for Concurrent Programs via Separation and Framing.	POST	2018	DBLP DOI BibTeX RDF
9	Francesco Basile, Gianmaria De Tommasi	Non-interference assessment in bounded Petri nets via Integer Linear Programming.	ACC	2018	DBLP DOI BibTeX RDF
9	Francesco Basile, Gianmaria De Tommasi, Claudio Sterle	Non-Interference Enforcement in Bounded Petri Nets.	CDC	2018	DBLP DOI BibTeX RDF
9	Fanwen Meng	A Dynamic Non-Interference Trust Chain Model Based on Security Process Algebra.	ITITS	2018	DBLP DOI BibTeX RDF
9	Samuele Buro, Isabella Mastroeni	Abstract Code Injection - A Semantic Approach Based on Abstract Non-Interference.	VMCAI	2018	DBLP DOI BibTeX RDF
9	Xie Xie, Li Zhou, Yongyue Zheng, Fucai Wan	Scheduling Multi-Crane with Non-interference Constraint in Steel Production.	ICIA	2018	DBLP DOI BibTeX RDF
9	Simon Greiner	A Framework for Non-Interference in Component-Based Systems.		2018	RDF
9	Gabriela N. Maschietto, Yassine Ouazene, Martín Gómez Ravetti, Maurício C. de Souza, Farouk Yalaoui	Crane scheduling problem with non-interference constraints in a steel coil distribution centre.	Int. J. Prod. Res.	2017	DBLP DOI BibTeX RDF
9	Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski	Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
9	Petr Kuznetsov, Sathya Peri	Non-interference and local correctness in transactional memory.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
9	Béatrice Bérard, Loïc Hélouët, John Mullins	Non-interference in Partial Order Models.	ACM Trans. Embed. Comput. Syst.	2017	DBLP DOI BibTeX RDF
9	Gurvan Cabon, Alan Schmitt	Annotated Multisemantics To Prove Non-Interference Analyses.	PLAS@CCS	2017	DBLP DOI BibTeX RDF
9	Ted Kaminski, Eric Van Wyk	Ensuring non-interference of composable language extensions.	SLE	2017	DBLP DOI BibTeX RDF
9	Jack Williams 0001, J. Garrett Morris, Philip Wadler, Jakub Zalewski	Mixed Messages: Measuring Conformance and Non-Interference in TypeScript.	ECOOP	2017	DBLP DOI BibTeX RDF
9	Luca Bernardinello, Görkem Kilinç 0001, Lucia Pomello	Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets.	Trans. Petri Nets Other Model. Concurr.	2016	DBLP DOI BibTeX RDF
9	Zhe Hou, David Sanán, Alwen Tiu, Yang Liu 0003	A formal model for the SPARCv8 ISA and a proof of non-interference for the LEON3 processor.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
9	Liang Chen, Rongren Zeng, Feng Li, Weiming Yang	基于无干扰理论的信任链传递模型 (Trust Chain Transfer Model Based on Non-interference Theory).	计算机科学	2016	DBLP DOI BibTeX RDF
9	Gilles Barthe, Sonia Belaïd, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire, Pierre-Yves Strub, Rébecca Zucchini	Strong Non-Interference and Type-Directed Higher-Order Masking.	CCS	2016	DBLP DOI BibTeX RDF
9	Filippo Del Tedesco, David Sands 0001, Alejandro Russo	Fault-Resilient Non-interference.	CSF	2016	DBLP DOI BibTeX RDF
9	Simon Greiner, Daniel Grahl	Non-interference with What-Declassification in Component-Based Systems.	CSF	2016	DBLP DOI BibTeX RDF
9	Paolo Baldan, Alessandro Beggiato	Multilevel Transitive and Intransitive Non-interference, Causally.	COORDINATION	2016	DBLP DOI BibTeX RDF
9	Peter Aldous, Matthew Might	A Posteriori Taint-Tracking for Demonstrating Non-interference in Expressive Low-Level Languages.	IEEE Symposium on Security and Privacy Workshops	2016	DBLP DOI BibTeX RDF
9	Görkem Kilinç Soylu	Formal notions of non-interference and liveness for distributed systems.		2016	RDF
9	Paolo Baldan, Alberto Carraro	A Causal View on Non-Interference.	Fundam. Informaticae	2015	DBLP DOI BibTeX RDF
9	Ming Liu 0008, Feifeng Zheng, Jinfeng Li	Scheduling small number of quay cranes with non-interference constraint.	Optim. Lett.	2015	DBLP DOI BibTeX RDF
9	Yining Wu, Mikolaj Podlaszewski	Implementing crash-resistance and non-interference in logic-based argumentation.	J. Log. Comput.	2015	DBLP DOI BibTeX RDF
9	Luca Bernardinello, Görkem Kilinç 0001, Lucia Pomello	Non-Interference Notions Based on Reveals and Excludes Relations for Petri Nets.	PNSE @ Petri Nets	2015	DBLP BibTeX RDF
9	Béatrice Bérard, Loïc Hélouët, John Mullins	Non-interference in Partial Order Models.	ACSD	2015	DBLP DOI BibTeX RDF
9	Peter Aldous, Matthew Might	Static Analysis of Non-interference in Expressive Low-Level Languages.	SAS	2015	DBLP DOI BibTeX RDF
9	Martín Ochoa, Jorge Cuéllar, Alexander Pretschner, Per A. Hallgren	Idea: Unwinding Based Model-Checking and Testing for Non-Interference on EFSMs.	ESSoS	2015	DBLP DOI BibTeX RDF
9	Filippo Del Tedesco, David Sands 0001, Alejandro Russo	Type-Directed Compilation for Fault-Tolerant Non-Interference.	CoRR	2014	DBLP BibTeX RDF
9	Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna 0001, David Pichardie	System-level non-interference for constant-time cryptography.	IACR Cryptol. ePrint Arch.	2014	DBLP BibTeX RDF
9	Thai Son Hoang, A. K. McIver, Larissa Meinicke, Carroll C. Morgan, Anthony Sloane, E. Susatyo	Abstractions of non-interference security: probabilistic versus possibilistic.	Formal Aspects Comput.	2014	DBLP DOI BibTeX RDF
9	Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Daniel Luna, David Pichardie	System-level Non-interference for Constant-time Cryptography.	CCS	2014	DBLP DOI BibTeX RDF
9	Paolo Baldan, Alberto Carraro	Non-interference by Unfolding.	Petri Nets	2014	DBLP DOI BibTeX RDF
9	Petr Kuznetsov, Sathya Peri	Non-interference and Local Correctness in Transactional Memory.	ICDCN	2014	DBLP DOI BibTeX RDF
9	Wilayat Khan, Stefano Calzavara, Michele Bugliesi, Willem De Groef, Frank Piessens	Client Side Web Session Integrity as a Non-interference Property.	ICISS	2014	DBLP DOI BibTeX RDF
9	Aleksandar S. Dimovski	Ensuring Secure Non-interference of Programs by Game Semantics.	STM	2014	DBLP DOI BibTeX RDF
9	John Mullins, Moez Yeddes	Opacity with Orwellian Observers and Intransitive Non-Interference.	WODES	2014	DBLP DOI BibTeX RDF
9	Paolo Baldan, Francesco Burato, Alberto Carraro	Intransitive Non-Interference by Unfolding.	FACS	2014	DBLP DOI BibTeX RDF
9	Filippo Del Tedesco, Alejandro Russo, David Sands 0001	Fault-Tolerant Non-interference.	ESSoS	2014	DBLP DOI BibTeX RDF
9	Marco Mariotti, Roberto Veneziani	On the impossibility of complete Non-Interference in Paretian social judgements.	J. Econ. Theory	2013	DBLP DOI BibTeX RDF
9	Gilles Barthe, David Pichardie, Tamara Rezk	A certified lightweight non-interference Java bytecode verifier.	Math. Struct. Comput. Sci.	2013	DBLP DOI BibTeX RDF
9	John Mullins, Moez Yeddes	Opacity with Orwellian Observers and Intransitive Non-interference.	CoRR	2013	DBLP BibTeX RDF
9	Isabella Mastroeni	Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications.	Festschrift for Dave Schmidt	2013	DBLP DOI BibTeX RDF
9	Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel	Program Transformation for Non-interference Verification on Programs with Pointers.	SEC	2013	DBLP DOI BibTeX RDF
9	Jérémy Planul, John C. Mitchell	Oblivious Program Execution and Path-Sensitive Non-interference.	CSF	2013	DBLP DOI BibTeX RDF
9	David Sands 0001	Fault-tolerant non-interference: invited talk abstract.	PLAS	2013	DBLP DOI BibTeX RDF
9	Damiano Zanardini	Class-level Non-Interference.	New Gener. Comput.	2012	DBLP DOI BibTeX RDF
9	Petr Kuznetsov, Sathya Peri	On Non-Interference of Transactions	CoRR	2012	DBLP BibTeX RDF
9	Sathya Peri, Krishnamurthy Vidyasankar	An Efficient Scheduler for Closed Nested Transactions that Satisfies All-Reads-Consistency and Non-interference.	ICDCN	2012	DBLP DOI BibTeX RDF
9	Martín Ochoa, Jan Jürjens, Jorge Cuéllar	Non-interference on UML State-Charts.	TOOLS (50)	2012	DBLP DOI BibTeX RDF
9	Matias David Lee, Pedro R. D'Argenio	Semantics for Interactive Sequential Systems and Non-Interference Properties.	CLEI Electron. J.	2011	DBLP DOI BibTeX RDF
9	Steffen van Bakel, Maria Grazia Vigliotti	Note on a simple type system for non-interference	CoRR	2011	DBLP BibTeX RDF
9	Lei Gong, Lu Tian, Fulian Zhang	Application information flow non-interference transmission model.	EMEIT	2011	DBLP DOI BibTeX RDF
9	Marc Frappier, Amel Mammar	Proving Non-interference on Reachability Properties: A Refinement Approach.	APSEC	2011	DBLP DOI BibTeX RDF
9	Nataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens	Reactive non-interference for a browser model.	NSS	2011	DBLP DOI BibTeX RDF
9	Roberto Gorrieri, Matteo Vernali	On Intransitive Non-interference in Some Models of Concurrency.	FOSAD	2011	DBLP DOI BibTeX RDF
9	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Abstract Certification of Global Non-Interference in Rewriting Logic	CoRR	2010	DBLP BibTeX RDF
9	Eike Best, Philippe Darondeau, Roberto Gorrieri	On the Decidability of Non Interference over Unbounded Petri Nets	SecCo	2010	DBLP DOI BibTeX RDF
9	Roberto Giacobazzi, Isabella Mastroeni	A Proof System for Abstract Non-interference.	J. Log. Comput.	2010	DBLP DOI BibTeX RDF
9	Roya Ensafi, Jong Chun Park, Deepak Kapur, Jedidiah R. Crandall	Idle Port Scanning and Non-interference Analysis of Network Protocol Stacks Using Model Checking.	USENIX Security Symposium	2010	DBLP BibTeX RDF
9	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Approximating Non-interference and Erasure in Rewriting Logic.	SYNASC	2010	DBLP DOI BibTeX RDF
9	Matias David Lee, Pedro R. D'Argenio	A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis.	SCCC	2010	DBLP DOI BibTeX RDF
9	Marco Mariotti, Roberto Veneziani	'Non-interference' implies equality.	Soc. Choice Welf.	2009	DBLP DOI BibTeX RDF
9	Aleksy Schubert, Daria Walukiewicz-Chrzaszcz	The Non-Interference Protection in BML.	BYTECODE@ETAPS	2009	DBLP DOI BibTeX RDF
9	Nadia Busi, Roberto Gorrieri	Structural non-interference in elementary and trace nets.	Math. Struct. Comput. Sci.	2009	DBLP DOI BibTeX RDF
9	Moez Yeddes, Feng Lin 0001, Nejib Ben Hadj-Alouane	Modifying Security Policies for the Satisfaction of Intransitive Non-Interference.	IEEE Trans. Autom. Control.	2009	DBLP DOI BibTeX RDF
9	Pi-Shan Hsu, Te-Jeng Chang, Ming-Hsiung Wu	A New Diagnostic Mechanism of Instruction: A Dynamic, Real-Time and Non-Interference Quantitative Measurement Technique for Adaptive E-Learning.	Int. J. Distance Educ. Technol.	2009	DBLP DOI BibTeX RDF
9	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
9	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Abstract Certification of Global Non-interference in Rewriting Logic.	FMCO	2009	DBLP DOI BibTeX RDF
9	Jiong Zhang, Zixu Lv, Xiang Long, Yuebin Bai	Multi-core and VMM Based Non-interference Test Method of Embedded System Software.	ScalCom-EmbeddedCom	2009	DBLP DOI BibTeX RDF
9	Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi	PicNIc - Pi-calculus non-interference checker.	ACSD	2008	DBLP DOI BibTeX RDF
9	Jesse D. Bingham	Automatic Non-Interference Lemmas for Parameterized Model Checking.	FMCAD	2008	DBLP DOI BibTeX RDF
9	David Clark 0001, Sebastian Hunt	Non-Interference for Deterministic Interactive Programs.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
9	Damiano Zanardini	Analyzing Non-Interference with respect to Classes.	ICTCS	2007	DBLP BibTeX RDF
9	Judicaël Courant, Cristian Ene, Yassine Lakhnech	Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption.	FSTTCS	2007	DBLP DOI BibTeX RDF
9	Silvia Crafa, Sabina Rossi	P-congruences as non-interference for the pi-calculus.	FMSE	2006	DBLP DOI BibTeX RDF	process calculi, noninterference, downgrading
9	Bart Jacobs 0002, Frank Piessens, Wolfram Schulte	VC generation for functional behavior and non-interference of iterators.	SAVCBS@FSE	2006	DBLP DOI BibTeX RDF
9	Jacob Zimmermann, George M. Mohay	Distributed intrusion detection in clusters based on non-interference.	ACSW	2006	DBLP BibTeX RDF	clusters, intrusion detection, MPI
9	Damiano Zanardini	Certified abstract non-interference.		2006	RDF
9	Matthew Hennessy	The security pi-calculus and non-interference.	J. Log. Algebraic Methods Program.	2005	DBLP DOI BibTeX RDF
9	Guillaume Gardey, John Mullins, Olivier H. Roux	Non-Interference Control Synthesis for Security Timed Automata.	SecCO@CONCUR	2005	DBLP DOI BibTeX RDF
9	Michele Bugliesi, Sabina Rossi	Non-interference proof techniques for the analysis of cryptographic protocols.	J. Comput. Secur.	2005	DBLP DOI BibTeX RDF
9	Isabella Mastroeni	Abstract non-interference.		2005	RDF
9	Simone Tini	Rule formats for compositional non-interference properties.	J. Log. Algebraic Methods Program.	2004	DBLP DOI BibTeX RDF
9	Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky	Approximate Non-interference.	J. Comput. Secur.	2004	DBLP DOI BibTeX RDF
9	Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin 0001, John Mullins, Moez Yeddes	An algorithmic approach to verification of intransitive non-interference in security policies.	CDC	2004	DBLP DOI BibTeX RDF
9	Roberto Barbuti, Luca Tesei	A Decidable Notion of Timed Non-Interference.	Fundam. Informaticae	2003	DBLP BibTeX RDF