Search results for "MILS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
179	Jeffrey Choi Robinson, W. Scott Harrison, Nadine Hanebutte, Paul W. Oman, Jim Alves-Foss	Implementing middleware for content filtering and information flow control.	CSAW	2007	DBLP DOI BibTeX RDF	GIOP, MILS, security, CORBA, safety, MLS, common criteria, high assurance, guards, IIOP
131	Harald Rueß, Stefano Tonetta	Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
105	Dorien Koelemeijer, Rasma Araby, Ayoub Nouri, Marius Bozga, Rance DeLong	A Model-based Approach to Certification of Adaptive MILS.	MILS@DSN	2018	DBLP DOI BibTeX RDF
105	Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta	Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides.	MILS@DSN	2018	DBLP DOI BibTeX RDF
105	Holger Blasum, Sergey Tverdyshev	Classic and Adaptive AUTOSAR in MILS terms.	MILS@DSN	2018	DBLP DOI BibTeX RDF
105	Sergey Tverdyshev	Security by Design: Introduction to MILS.	MILS	2017	DBLP DOI BibTeX RDF
105	Semen Kort, Dmitry Kulagin, Ekaterina Rudina	An approach to Separation of Duties validation for MILS security configurations.	MILS	2017	DBLP DOI BibTeX RDF
105	Sven Nordhoff, Holger Blasum	Ease Standard Compliance by Technical Means via MILS.	MILS	2017	DBLP DOI BibTeX RDF
105	Kevin Mueller	Hardening High-Assurance Systems: MILS as Software Design for Avionics.	MILS	2017	DBLP DOI BibTeX RDF
105	Thomas Noll 0001, Louis Wachtmeister	Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications.	MILS	2017	DBLP DOI BibTeX RDF
105	Igor Furgel, Viola Saftig	MILS Complete Separation Platform Protection Profile.	MILS	2017	DBLP DOI BibTeX RDF
105	Sergey Tverdyshev	EURO-MILS: Building and certifying modular secure systems.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
105	Paul J. Parkinson	Applying MILS to multicore avionics systems.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
105	Hans-Jürgen Herpel, M. Kerep, G. Montano, Knut Eckstein, M. Schön, A. Krutak	MILS Compliant Software Architecture for Satellites.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
105	Julien Delange, Min-Young Nam, Peter H. Feiler, Will Klieber	An Architecture-Centric Process for MILS Development.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
105	Holger Blasum	Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
105	Kevin van der Pol, Thomas Noll 0001	Security Type Checking for MILS-AADL Specifications.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
105	Sergey Tverdyshev	EURO-MILS: Building and certifying modular secure systems.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
105	Rance J. DeLong	MILS Initiatives Within The Open Group.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
105	Kateryna Netkachova, Kevin Mueller, Michael Paulitsch, Robin Bloomfield	Security-Informed Safety Case Approach to Analysing MILS Systems.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
105	Ruud Koolen, Julien Schmaltz	Formal Methods for MILS: Formalisations of the GWV Firewall.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
105	Richard Hawkins, Tim Kelly, Ibrahim Habli	Developing Assurance Cases for D-MILS Systems.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
105	Daniel Adam, Sergey Tverdyshev, Carsten Rolfes, Timo Sandmann	Two Architecture Approaches for MILS Systems in Mobility Domains (Automobile, Railway and Avionik).	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
79	Sergey Tverdyshev (eds.)	International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@DSN 2018, Luxembourg, June 25, 2018.	MILS@DSN	2018	DBLP BibTeX RDF
79	Henk Birkholz, Christoph Krauß, Maria Zhdanova, Don Kuzhiyelil, Tolga Arul, Markus Heinrich, Stefan Katzenbeisser 0001, Neeraj Suri, Tsvetoslava Vateva-Gurova, Christian Schlehuber	A Reference Architecture for Integrating Safety and Security Applications on Railway Command and Control Systems.	MILS@DSN	2018	DBLP DOI BibTeX RDF
79	Reinhard Hametner, Stefan Resch	A Platform Approach for Fusing Safety and Security on a Solid Foundation.	MILS@DSN	2018	DBLP DOI BibTeX RDF
79	Markus Engqvist, Staffan Persson	Cybersecurity in the Railway Sector.	MILS@DSN	2018	DBLP DOI BibTeX RDF
79	Thorsten Schulz, Frank Golatowski, Dirk Timmermann	In Search for a Simple Secure Protocol for Safety-Critical High-Assurance Applications.	MILS@DSN	2018	DBLP DOI BibTeX RDF
79	Chera Bekker, Maurits de Graaf, Gerard Hoekstra, Thomas B. Quillinan	Enabling Civil/Military Cooperation in Crisis Management.	MILS@DSN	2018	DBLP DOI BibTeX RDF
79	Sergey Tverdyshev (eds.)	International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS 2017, Nürnberg, Germany, March 14, 2017.	MILS	2017	DBLP BibTeX RDF
79	Alexander Much, Rudolf Grave, Robert Leibinger, Martin Böhner, Elisabeth Waitz	Current Trends and Solutions in Securing Automotive Software.	MILS	2017	DBLP DOI BibTeX RDF
79	Milosch Meriac, Joseph Yiu	High-End Security Features for Low-End Microcontrollers.	MILS	2017	DBLP DOI BibTeX RDF
79	Geoff Waters	Hardware enforced separation in embedded multicore SoCs.	MILS	2017	DBLP DOI BibTeX RDF
79	Wilfred Steiner	Fog Computing as Enabler for the Industrial Internet of Things / Industrie 4.0: Slides.	MILS	2017	DBLP DOI BibTeX RDF
79	Sergey Tverdyshev (eds.)	International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016.	MILS@HiPEAC	2016	DBLP BibTeX RDF
79	Ruud Koolen, Julien Schmaltz	Modeling Information Routing with Noninterference.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
79	Igor Furgel, Viola Saftig, Tobias Wagner, Kevin Müller, Reinhard Schwarz, Axel Söding-Freiherr von Blomberg	Non-Interfering Composed Evaluation.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
79	Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner	Asset-Centric Security Risk Assessment of Software Components.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
79	Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson	Content-Dependent Security Policies in Avionics.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
79	Semen Kort, Ekaterina Rudina	The Security for Safety Problem in Cyberphysical Systems.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
79	Sergey Tverdyshev (eds.)	International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015.	MILS@HiPEAC	2015	DBLP BibTeX RDF
79	Andreas Daniel Sinnhofer, Wolfgang Raschke, Christian Steger, Christian Kreiner	Evaluation paradigm selection according to Common Criteria for an incremental product development.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
79	Stéphane Lescuyer	ProvenCore: Towards a Verified Isolation Micro-Kernel.	MILS@HiPEAC	2015	DBLP DOI BibTeX RDF
61	Hai Jin 0001, Aobing Sun, Ran Zheng, Ruhan He, Qin Zhang 0004, Yingjie Shi, Wen Yang	Content and semantic context based image retrieval for medical image grid.	GRID	2007	DBLP DOI BibTeX RDF
41	Hossein Zamiri-Jafarian, Subbarayan Pasupathy	Robust and Improved Channel Estimation Algorithm for MIMO-OFDM Systems.	IEEE Trans. Wirel. Commun.	2007	DBLP DOI BibTeX RDF
41	Virginia C. Carneiro de Paula, George R. Ribeiro-Justo, Paulo R. F. Cunha	Specifying and Verifying Reconfigurable Software Architectures.	PDSE	2000	DBLP DOI BibTeX RDF	reconfigurable software architecture, software architecture, formal specification, dynamic software architecture
41	Thomas R. Dean, David Alex Lamb	A theory model core for module interconnection languages.	CASCON	1994	DBLP BibTeX RDF
26	Sunghun Jung, Young-Joon Kim	MILS and HILS Analysis of Power Management System for UAVs.	IEEE Access	2023	DBLP DOI BibTeX RDF
26	Domenico Cotroneo, Luigi De Simone, Roberto Natella	Timing Covert Channel Analysis of the VxWorks MILS Embedded Hypervisor under the Common Criteria Security Certification.	CoRR	2021	DBLP BibTeX RDF
26	Domenico Cotroneo, Luigi De Simone, Roberto Natella	Timing covert channel analysis of the VxWorks MILS embedded hypervisor under the common criteria security certification.	Comput. Secur.	2021	DBLP DOI BibTeX RDF
26	Andreas Hohenegger, Gerald Krummeck, Janie Baños, Álvaro Ortega, Michal Hager, Jiri Sterba, Tomas Kertis, Petr Novobilsky, Jan Procházka, Benito Caracuel, Ana Lourdes Sanz, Francisco Ramos 0003, Holger Blasum, Mario Brotz, Rudolf Fuchsen, Guillaume Fumaroli, Jan Neskudla, Jan Rollo, Lisa Burgstaller, Martina Truskaller, Klaus-Michael Koch, Reinhard Hametner, Sandro Rauscher, Peter Tummeltshammer, Frank Golatowski, Thorsten Schulz	Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture.	IECON	2021	DBLP DOI BibTeX RDF
26	Shasha Gao, Zhonghua Wang	基于MILS架构的嵌入式操作系统多级安全域动态管理技术 (Dynamical Management Technology of Multi-Level Security Domain for Embedded Operating System Based on MILS).	计算机科学	2019	DBLP BibTeX RDF
26	Ill-Ham Atchadam, Frank Singhoff, Hai Nam Tran, Noura Bouzid, Laurent Lemarchand	Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures.	CERTS	2019	DBLP DOI BibTeX RDF
26	Alessandro Cimatti, Rance DeLong, Ivan Stojic, Stefano Tonetta	Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems.	SAFECOMP	2019	DBLP DOI BibTeX RDF
26	Mihail P. Iliev, Borislav Bedzhev, Ivanka Tsvetkova, Plamen Yanakiev	An algorithm for synthesis of generalized gordon-mils-welch signals.	ICTRS	2018	DBLP DOI BibTeX RDF
26	Angelo Liguori, Francesco Benedetto, Marco Liguori	Mitigating cyber-security risks using MILS.	TSP	2017	DBLP DOI BibTeX RDF
26	Sudip Misra, Anuj Singh, Subarna Chatterjee, Mohammad S. Obaidat	Mils-Cloud: A Sensor-Cloud-Based Architecture for the Integration of Military Tri-Services Operations and Decision Making.	IEEE Syst. J.	2016	DBLP DOI BibTeX RDF
26	Alessandro Cimatti, Rance DeLong, Davide Marcantonio, Stefano Tonetta	Combining MILS with Contract-Based Design for Safety and Security Requirements.	SAFECOMP Workshops	2015	DBLP DOI BibTeX RDF
26	Jean-Pierre Seifert, Michael Peter	Automotive MILS.	GI-Jahrestagung	2015	DBLP BibTeX RDF
26	Kevin Mueller, Georg Sigl, Benoit Triquet, Michael Paulitsch	On MILS I/O Sharing Targeting Avionic Systems.	EDCC	2014	DBLP DOI BibTeX RDF
26	Denis Bytschkow, Jean Quilbeuf, Georgeta Igna, Harald Ruess	Distributed MILS Architectural Approach for Secure Smart Grids.	SmartGridSec	2014	DBLP DOI BibTeX RDF
26	Kaiqiang Li, Hao Feng, Yahui Li, Zhiwei Zhang	An Improved Method of Access Control Based on BLP Model in MILS.	CIS	2014	DBLP DOI BibTeX RDF
26	Kaiqiang Li, Hao Feng, Yahui Li, Zhiwei Zhang	Information Flow Control Model and Method in Distribute MILS.	CIS	2014	DBLP DOI BibTeX RDF
26	Julien Delange, Laurent Pautet, Fabrice Kordon	Design, implementation and verification of MILS systems.	Softw. Pract. Exp.	2012	DBLP DOI BibTeX RDF
26	Kevin Mueller, Michael Paulitsch, Sergey Tverdyshev, Holger Blasum	MILS-related information flow control in the avionic domain: A view on security-enhancing software architectures.	DSN Workshops	2012	DBLP DOI BibTeX RDF
26	Yinping Zhou, Yulong Shen, Qingqi Pei, Xining Cui, Yahui Li	Security Information Flow Control Model and Method in MILS.	CIS	2012	DBLP DOI BibTeX RDF
26		MILS.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
26	John M. Rushby	From DSS to MILS - (Extended Abstract).	Dependable and Historic Computing	2011	DBLP DOI BibTeX RDF
26	Chris A. Owen, Duncan A. Grove, Tristan Newby, Alex Murray, Chris North 0002, Michael Pope	PRISM: Program Replication and Integration for Seamless MILS.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	Multilevel systems, Application virtualization, Data storage systems, Software architecture, Information security, Computer security, File systems, Data security, Information entropy, Military computing
26	Yameng Cheng, Yulong Shen, Jianfeng Ma 0001, Xining Cui, Yahui Li	AHP-GRAP Based Security Evaluation Method for MILS System within CC Framework.	CIS	2011	DBLP DOI BibTeX RDF
26	Jim Alves-Foss, Paul W. Oman, Carol Taylor, Scott Harrison	The MILS architecture for high-assurance embedded systems.	Int. J. Embed. Syst.	2006	DBLP DOI BibTeX RDF
26	Bryan Rossebo, Paul W. Oman, Jim Alves-Foss, Ryan Blue, Paul Jaszkowiak	Using SPARK-Ada to Model and Verify a MILS Message Router.	ISSSE	2006	DBLP BibTeX RDF
26	Bingying Sun	Semantische Repräsentationen im maschinellen Übersetzungssystem MILS.		1996	RDF
20	Isabelle Perseil, Laurent Pautet	Foundations of a new software engineering method for real-time systems.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	PBSE, +CAL, UML, Real-time, Code generation, MDA, Model transformation, MDE, MARTE, AADL, Continuum, Software engineering method
20	David S. Hardin	Invited Tutorial: Considerations in the Design and Verification of Microprocessors for Safety-Critical and Security-Critical Applications.	FMCAD	2008	DBLP DOI BibTeX RDF
20	Lu'ay A. Wahsheh, Jim Alves-Foss	Using Policy Enforcement Graphs in a Separation-Based High Assurance Architecture.	IRI	2007	DBLP DOI BibTeX RDF
20	Anshuman Chandra, Haihua Yan, Rohit Kapur	Multimode Illinois Scan Architecture for Test Application Time and Test Data Volume Reduction.	VTS	2007	DBLP DOI BibTeX RDF
20	Brian Randell, John M. Rushby	Distributed Secure Systems: Then and Now.	ACSAC	2007	DBLP DOI BibTeX RDF
20	David S. Hardin, Eric W. Smith, William D. Young	A robust machine code proof framework for highly secure applications.	ACL2	2006	DBLP DOI BibTeX RDF	cryptography, theorem proving, certification, symbolic simulation, ACL2, high-assurance, processor modeling
20	Yao Zhao 0003, Yan Chen 0004, David Bindel	Towards unbiased end-to-end network diagnosis.	SIGCOMM	2006	DBLP DOI BibTeX RDF	internet diagnosis, linear algebra, network measurement
20	Bernard Coloma, Patrick Delaunay, Olivier Husson	High Speed 15 ns 4 Mbits SRAM for Space Application.	MTDT	2002	DBLP DOI BibTeX RDF
20	Bernard Coloma, Patrick Delaunay, Olivier Husson	High Speed 15 ns 4 Mbits SRAM for Space Application.	IOLTW	2002	DBLP DOI BibTeX RDF
20	Srinivasan Venkatraman, Srikanth Natarajan, K. Radhakrishna Rao	A Low Power Video Frequency Continuous Time Filter.	VLSI Design	1998	DBLP DOI BibTeX RDF
20	Atul Wokhlu, R. Venkat Krishna, Sandeep Agarwal	A Low Voltage Mixed Signal ASIC for Digital Clinical Thermometer.	VLSI Design	1998	DBLP DOI BibTeX RDF
20	Ingemar J. Cox, Joseph B. Kruskal, Deborah A. Wallach	Predicting and Estimating the Accuracy of a Subpixel Registration Algorithm.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	subpixel registration algorithm, quantized video image, solid triangle, image point data, direct measurement, computer vision, computer vision, edge detection, iterative methods, accuracy, estimation theory, prediction theory