|
|
|
|
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.  |
MILS@HiPEAC  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruud Koolen, Julien Schmaltz |
Modeling Information Routing with Noninterference. |
MILS@HiPEAC |
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. |
MILS@HiPEAC |
2016 |
DBLP BibTeX RDF |
|
| 1 | Paul J. Parkinson |
Applying MILS to multicore avionics systems. |
MILS@HiPEAC |
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. |
MILS@HiPEAC |
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. |
MILS@HiPEAC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Rauter, Andrea Höller, Nermin Kajtazovic, Christian Kreiner |
Asset-Centric Security Risk Assessment of Software Components. |
MILS@HiPEAC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Delange, Min-Young Nam, Peter H. Feiler, Will Klieber |
An Architecture-Centric Process for MILS Development. |
MILS@HiPEAC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Maciazek, Hanne Riis Nielson, Flemming Nielson |
Content-Dependent Security Policies in Avionics. |
MILS@HiPEAC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Semen Kort, Ekaterina Rudina |
The Security for Safety Problem in Cyberphysical Systems. |
MILS@HiPEAC |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Blasum |
Partitioning in Safety and Security: Mapping to MILS Core Partitioning Mechanisms. |
MILS@HiPEAC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin van der Pol, Thomas Noll 0001 |
Security Type Checking for MILS-AADL Specifications. |
MILS@HiPEAC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Tverdyshev |
EURO-MILS: Building and certifying modular secure systems. |
MILS@HiPEAC |
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. |
MILS@HiPEAC |
2015 |
DBLP BibTeX RDF |
|
| 1 | Harald Rueß, Stefano Tonetta |
Distributed MILS (D-MILS) Specification, Analysis, Deployment, and Assurance of Distributed Critical Systems. |
MILS@HiPEAC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance J. DeLong |
MILS Initiatives Within The Open Group. |
MILS@HiPEAC |
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. |
MILS@HiPEAC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Lescuyer |
ProvenCore: Towards a Verified Isolation Micro-Kernel. |
MILS@HiPEAC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kateryna Netkachova, Kevin Mueller, Michael Paulitsch, Robin Bloomfield |
Security-Informed Safety Case Approach to Analysing MILS Systems. |
MILS@HiPEAC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruud Koolen, Julien Schmaltz |
Formal Methods for MILS: Formalisations of the GWV Firewall. |
MILS@HiPEAC |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Hawkins, Tim Kelly, Ibrahim Habli |
Developing Assurance Cases for D-MILS Systems. |
MILS@HiPEAC |
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). |
MILS@HiPEAC |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license