Skip to content

GitLab

M
MontiSecArc
Commit 1423343f authored by Bernhard Rumpe's avatar Bernhard Rumpe
Browse files
Options

BR-sy

parent c5346850
Expand all Hide whitespace changes
Inline Side-by-side
Showing with 600 additions and 1078 deletions
README.md
View file @ 1423343f
<!-- (c) https://github.com/MontiCore/monticore -->
# MonitSecArc
MontiSecArc (MSA) is a Security Architecture Description Language. This repository contains tooling based on MontiCore for Security Architecture Analysis and development of generators to derive code from MSA models.
......
core/montiSecArcAnalysis/mc-test.cfg
View file @ 1423343f
......@@ -5,4 +5,4 @@ config {
Require-Model:
"de.monticore.java.lib-3.1.1-symbols.jar",
"../montiSecArcFE/src/main/grammars"
}
\ No newline at end of file
}
core/montiSecArcAnalysis/pom.xml
View file @ 1423343f
<!-- (c) https://github.com/MontiCore/monticore -->
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
......
core/montiSecArcAnalysis/src/main/java/secarc/MontiSecArcAnalysis.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
/* Copyright (c) 2012 RWTH Aachen. All rights reserved.
*
* http://www.monticore.de/ - http://www.se-rwth.de/ */
......
core/montiSecArcAnalysis/src/main/java/secarc/MontiSecArcAnalysisTool.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc;
import java.util.ArrayList;
......
core/montiSecArcAnalysis/src/main/java/secarc/MontiSecArcAnalysisToolWrapper.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc;
......
core/montiSecArcAnalysis/src/main/java/secarc/MontiSecArcPreAnalysis.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
/* Copyright (c) 2012 RWTH Aachen. All rights reserved.
*
* http://www.monticore.de/ - http://www.se-rwth.de/ */
......
core/montiSecArcAnalysis/src/main/java/secarc/error/MontiSecArcAnalysisErrorCodes.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.error;
import mc.IErrorCode;
......@@ -5,13 +6,7 @@ import mc.IErrorCode;
/**
* Enumeration containing the MontiSecArcAnalysis error codes.
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved.
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*/
public enum MontiSecArcAnalysisErrorCodes implements IErrorCode {
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/checker/Analysis.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.checker;
import interfaces2.coco.ContextCondition;
......@@ -5,13 +6,7 @@ import interfaces2.coco.ContextCondition;
/**
* Analysis are special context conditions
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public abstract class Analysis extends ContextCondition {
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/checker/AnalysisHelper.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.checker;
import org.jgrapht.traverse.DepthFirstIterator;
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/checker/ISecAnalysisComponentChecker.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.checker;
import secarc.ets.entries.SecComponentEntry;
......@@ -9,13 +10,7 @@ import interfaces2.resolvers.AmbigousException;
* Analysis checker interface for checking component
* related analysis
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public interface ISecAnalysisComponentChecker {
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/checker/ISecAnalysisConfigurationChecker.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.checker;
import secarc._ast.ASTSecArcConfiguration;
......@@ -7,13 +8,7 @@ import secarc.ets.entries.ConfigurationEntry;
* Analysis checker interface for checking configuration
* related analysis
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public interface ISecAnalysisConfigurationChecker {
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/checker/ISecAnalysisConnectorChecker.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.checker;
import mc.umlp.arcd._ast.ASTArcConnector;
......@@ -10,13 +11,7 @@ import interfaces2.resolvers.AmbigousException;
* Analysis checker interface for checking connector
* related analysis
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public interface ISecAnalysisConnectorChecker {
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/checker/ISecAnalysisFilterChecker.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.checker;
import interfaces2.resolvers.AmbigousException;
......@@ -9,13 +10,7 @@ import secarc.ets.graph.ArchitectureGraph;
* Analysis checker interface for checking filter
* related analysis
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public interface ISecAnalysisFilterChecker {
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/checker/ISecAnalysisIdentityChecker.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.checker;
import interfaces2.resolvers.AmbigousException;
......@@ -9,13 +10,7 @@ import secarc.ets.graph.ArchitectureGraph;
* Analysis checker interface for checking identity
* related analysis
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public interface ISecAnalysisIdentityChecker {
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/checker/ISecAnalysisParameterChecker.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.checker;
import interfaces2.resolvers.AmbigousException;
......@@ -7,13 +8,7 @@ import mc.umlp.arcd._ast.ASTMCCompilationUnit;
* Analysis checker interface for checking parameter
* related analysis
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public interface ISecAnalysisParameterChecker {
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/checker/ISecAnalysisPortChecker.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.checker;
import interfaces2.resolvers.AmbigousException;
......@@ -9,13 +10,7 @@ import mc.umlp.arcd._ast.ASTArcPort;
* Analysis checker interface for checking port
* related analysis
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public interface ISecAnalysisPortChecker {
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/checker/ISecAnalysisRoleChecker.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.checker;
import interfaces2.resolvers.AmbigousException;
......@@ -10,13 +11,7 @@ import secarc.ets.graph.ArchitectureGraph;
* Analysis checker interface for checking role
* related analysis
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public interface ISecAnalysisRoleChecker {
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/checker/ISecAnalysisTrustlevelRelationChecker.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.checker;
import interfaces2.resolvers.AmbigousException;
......@@ -8,13 +9,7 @@ import secarc.ets.entries.TrustlevelRelationEntry;
* Analysis checker interface for checking trustlevelrelation
* related analysis
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public interface ISecAnalysisTrustlevelRelationChecker {
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/component/ListThirdPartyComponents.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.component;
import interfaces2.resolvers.AmbigousException;
......@@ -13,13 +14,7 @@ import secarc.ets.entries.SecComponentEntry;
/**
* L06: Lists all third party components with configuration and cpe
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public class ListThirdPartyComponents extends Analysis implements
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/configuration/ReviewedConfiguration.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.configuration;
import mc.IErrorCode;
......@@ -16,13 +17,7 @@ import secarc.ets.entries.ConfigurationEntry;
* - Analysis of error codes
* Configuration management testing
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public class ReviewedConfiguration extends Analysis implements
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/connect/EncryptedPathContinuesUnencrypted.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.connect;
import org.jgrapht.traverse.DepthFirstIterator;
......@@ -24,13 +25,7 @@ import secarc.ets.graph.Vertex;
* E03: Checks if an encrypted path continues unencrypted.
* Then the message is readable for the following components
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public class EncryptedPathContinuesUnencrypted extends Analysis implements
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/connect/EncryptedPathWithUnencryptedPart.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.connect;
......@@ -28,13 +29,7 @@ import mc.umlp.arcd.ets.entries.PortEntry;
*
* - SSL/TLS Testing
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public class EncryptedPathWithUnencryptedPart extends Analysis
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/connect/UnencryptedConnectorThroughLowTurstlevel.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.connect;
import mc.IErrorCode;
......@@ -23,13 +24,7 @@ import secarc.ets.graph.ArchitectureGraph;
*
* - SSL/TLS Testing
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public class UnencryptedConnectorThroughLowTurstlevel extends DerivedTrustlevel
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/filter/AvoidInputString.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.filter;
import interfaces2.resolvers.AmbigousException;
......@@ -14,13 +15,7 @@ import secarc.ets.graph.ArchitectureGraph;
/**
* L05: String is a very unspecific input type. Therfore, it should be avoided
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public class AvoidInputString extends Analysis implements
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/filter/EncryptedPathEndInLowTrustlevel.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.filter;
......@@ -33,13 +34,7 @@ import secarc.ets.graph.Vertex;
*
* - SSL/TLS Testing
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public class EncryptedPathEndInLowTrustlevel extends DerivedTrustlevel implements
......
core/montiSecArcAnalysis/src/main/java/secarc/ets/analysis/filter/FilterWithHigherTrustlevel.java
View file @ 1423343f
/* (c) https://github.com/MontiCore/monticore */
package secarc.ets.analysis.filter;
import com.google.common.base.Optional;
......@@ -21,13 +22,7 @@ import secarc.ets.graph.ArchitectureGraph;
/**
* F02: A filter should be more trustful than a 'normal' component
*
* <br>
* <br>
* Copyright (c) 2011 RWTH Aachen. All rights reserved
*
* @author (last commit) $Author$
* @version $Date$<br>
* $Revision$
*
*/
public class FilterWithHigherTrustlevel extends DerivedTrustlevel implements
......