|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Sergey Tverdyshev |
EURO-MILS: Building and certifying modular secure systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016., 2016, Zenodo. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ruud Koolen, Julien Schmaltz |
Modeling Information Routing with Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016., 2016, Zenodo. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Tverdyshev (eds.) |
International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![Zenodo The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Paul J. Parkinson |
Applying MILS to multicore avionics systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016., 2016, Zenodo. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Igor Furgel, Viola Saftig, Tobias Wagner, Kevin Müller, Reinhard Schwarz, Axel Söding-Freiherr von Blomberg |
Non-Interfering Composed Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016., 2016, Zenodo. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jürgen Herpel, M. Kerep, G. Montano, Knut Eckstein, M. Schön, A. Krutak |
MILS Compliant Software Architecture for Satellites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016., 2016, Zenodo. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner |
Asset-Centric Security Risk Assessment of Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016., 2016, Zenodo. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Julien Delange, Min-Young Nam, Peter H. Feiler, Will Klieber |
An Architecture-Centric Process for MILS Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016., 2016, Zenodo. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson |
Content-Dependent Security Policies in Avionics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016., 2016, Zenodo. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Semen Kort, Ekaterina Rudina |
The Security for Safety Problem in Cyberphysical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2016, Prague, Czech Republic, January 19, 2016., 2016, Zenodo. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Holger Blasum |
Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kevin van der Pol, Thomas Noll 0001 |
Security Type Checking for MILS-AADL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Tverdyshev |
EURO-MILS: Building and certifying modular secure systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Tverdyshev (eds.) |
International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![Zenodo The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | Harald Rueß, Stefano Tonetta |
Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rance J. DeLong |
MILS Initiatives Within The Open Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Daniel Sinnhofer, Wolfgang Raschke, Christian Steger, Christian Kreiner |
Evaluation paradigm selection according to Common Criteria for an incremental product development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Lescuyer |
ProvenCore: Towards a Verified Isolation Micro-Kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kateryna Netkachova, Kevin Mueller, Michael Paulitsch, Robin Bloomfield |
Security-Informed Safety Case Approach to Analysing MILS Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ruud Koolen, Julien Schmaltz |
Formal Methods for MILS: Formalisations of the GWV Firewall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Richard Hawkins, Tim Kelly, Ibrahim Habli |
Developing Assurance Cases for D-MILS Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Adam, Sergey Tverdyshev, Carsten Rolfes, Timo Sandmann |
Two Architecture Approaches for MILS Systems in Mobility Domains (Automobile, Railway and Avionik). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MILS@HiPEAC ![In: International Workshop on MILS: Architecture and Assurance for Secure Systems, MILS@HiPEAC 2015, Amsterdam, The Netherlands, January 20, 2015., 2015, Zenodo. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|