"Safe Ambients: Control Flow Analysis and Security"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Cash flow and security analysis	Kenneth S. Hackel	1992	Business One Irwin
Cash flow and security analysis /	Hackel, Kenneth S.; Livnat, Joshua.	1996.	Irwin,
Analysis and control of unsteady flow in pipelines	Gary Z. Watters	1984	Butterworths
Flow Control	Max D. Gunzburger	1995	Springer New York
Natural Laminar Flow and Laminar Flow Control	R.W. Barnwell; M.Y. Hussaini	1992	Springer New York
Safe Adaptive Control: Data-driven Stability Analysis and Robust Synthesis	Margareta Stefanovic; Michael G. Safonov	2011	Springer London
Flow Analysis	Victor Cerda; Laura Ferrer; Jessica Avivar and Amalia Cerda	2014	Elsevier
Control flow semantics /	Bakker, J. W. de; Vink, Erik de.	[1996], ©1996.	MIT Press,
Cash flow control /	Coyle, Brian.	[2000], ©2000.	AMACOM,
Flow Control: Passive, Active, and Reactive Flow Management	Mohamed Gad-el-Hak	2000-08	Cambridge University Press
Flow Control Techniques and Applications	Jinjun Wang; Lihao Feng	2018-12	Cambridge University Press
Flow Control: Fundamentals and Practices	Mohamed Gad-el-Hak; Andrew Pollard; Jean-Paul Bonnet	1998	Springer Berlin Heidelberg
Boundary Layer and Flow Control	G. V. Lachmann	1961	Pergamon
Traffic flow theory and control	Donald R. Drew	1968	McGraw-Hill
Signal Flow Analysis	J. R. Abrahams; G. P. Coverley and N. Hiller	1965	Pergamon
Flow Injection Analysis	Bo Karlberg; Gil E. Pacey	1989	Elsevier
Network flow analysis	Michael W. Lucas	2010	No Starch Press
Laminar flow analysis	David F. Rogers	1992	Cambridge University Press
Control of Fluid Flow	Petros Koumoutsakos; Igor Mezic	2006	Springer Berlin Heidelberg
Flow Visualization and Image Analysis	F.T. Nieuwstadt	1993	Springer Netherlands
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Safe Ambients: Control Flow Analysis and Security	Pierpaolo Degano; Francesca Levi; Chiara Bodei	Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings	Jifeng He; Masahiko Sato	2000	Springer Berlin Heidelberg
A Control Flow Analysis for Safe and Boxed Ambients	Francesca Levi; Chiara Bodei	Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings	David Schmidt	2004	Springer Berlin Heidelberg
Control Flow Analysis of Mobile Ambients with Security Boundaries	Chiara Braghin; Agostino Cortesi; Riccardo Focardi	Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6. 1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands	Bart Jacobs; Arend Rensink	2002	Springer US
Security Types for Mobile Safe Ambients	M. Dezani-Ciancaglini; I. Salvo	Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings	Jifeng He; Masahiko Sato	2000	Springer Berlin Heidelberg
Finite-Control Mobile Ambients	Witold Charatonik; Andrew D. Gordon; Jean-Marc Talbot	Programming Languages and Systems: 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings	Daniel Métayer	2002	Springer Berlin Heidelberg
Control-Flow Analysis		Practical Binary Analysis: Build Your Own Linux Tools for Binary Instrumentation, Analysis, and Disassembly	Dennis Andriesse	2018	No Starch Press
Control-Flow Analysis		Practical Binary Analysis. Build Your Own Linux Tools for Binary Instrumentation, Analysis, and Disassembly	Dennis Andriesse	2018	No Starch Press
Control-Flow Analysis		Practical Binary Analysis. Build your own Linux Tools for Binary Instrumentation, Analysis and Disassembly	Dennis Andriesse	2018	No Starch
Analysis of Control Flow and Data Flow	Patrick R. Schaumont	A Practical Introduction to Hardware/Software Codesign	Patrick R. Schaumont	2nd ed. 2013	Springer US
Analysis of Control Flow and Data Flow	Patrick R. Schaumont	A Practical Introduction to Hardware/Software Codesign	Patrick R. Schaumont	2010	Springer US
Using Ambients to Control Resources*	David Teller; Pascal Zimmer; Daniel Hirschkoff	CONCUR 2002 - Concurrency Theory: 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings	Lubos Brim; Petr Jancar; Mojmir Kretinsky; Antonin Kucera	2002	Springer Berlin Heidelberg
Types for Evolving Communication in Safe Ambients	Francesca Levi	Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings	Lenore D. Zuck; Paul D. Attie; Agostino Cortesi; Supratik Mukhopadhyay	2003	Springer Berlin Heidelberg
A Correct Abstract Machine for Safe Ambients	Daniel Hirschkoff; Damien Pous; Davide Sangiorgi	Coordination Models and Languages: 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings	Jean-Marie Jacquet; Gian Pietro Picco	2005	Springer Berlin Heidelberg
A Distributed Abstract Machine for Safe Ambients	Davide Sangiorgi; Andrea Valente	Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8–12, 2001 Proceedings	Fernando Orejas; Paul G. Spirakis; Jan van Leeuwen	2001	Springer Berlin Heidelberg
Interprocedural Control Flow Analysis	Flemming Nielson; Hanne Riis Nielson	Programming Languages and Systems: 8th European Symposium on Programming, ESOP' 99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 99, Amsterdam, The Netherlands, March 22-28, 1999 Proceedings	S. Doaitse Swierstra	1999	Springer Berlin Heidelberg
7 Control-Flow Analysis		Advanced Compiler Design and Implementation	Steven Muchnick	1997	Morgan Kaufmann
1636 Control Flow Analysis		Design concepts in programming languages	Franklyn A. Turbak, David K. Gifford	2008	Massachusetts Institute of Technology
142 Control Flow Analysis		Crafting A Compiler	Fischer, Charles N; Cytron, Ron; Jr, Richard J LeBlanc	2009	Addison Wesley Longman
Demand Control-Flow Analysis	Kimball Germane; Jay McCarthy; Michael D. Adams; Matthew Might	Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings	Constantin Enea; Ruzica Piskac	1st ed. 2019	Springer International Publishing
Reachability Analysis in Boxed Ambients	Nadia Busi; Gianluigi Zavattaro	Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings	Mario Coppo; Elena Lodi; G. Michele Pinna	2005	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Safe Ambients: Control Flow Analysis and Security" - similar Books and Chapters