Commit c72e9801 authored by Lars Hermerschmidt's avatar Lars Hermerschmidt
Browse files

Adding new example

parent e9c83fb1
# MonitSecArc
MontiSecArc (MSA) is a Security Architecture Description Language and this repository contains tooling based on MontiCore for Security Architecture Analysis and development of generators to derive code from MSA models.
#Licenses
* [LGPL V3.0](https://github.com/MontiCore/monticore/tree/master/00.org/Licenses/LICENSE-LGPL.md) (for handwritten Java code)
* [BSD-3-Clause](https://github.com/MontiCore/monticore/tree/master/00.org/Licenses/LICENSE-BSD3CLAUSE.md) (for templates and generated Java code)
# Content Overview
Folders in this repository:
core - the MontiSecArc language and analysis tools source code
doc - documentation for MontiSecArc
examples - example projects for the MontiSecArc tools <------------ start here
# Getting Started
Try out the pre-compiled Architecture Analysis by running:
cd examples/montiSecArcAnalysis/
./startExample.sh
#Build
Make sure you have access to MontiCore version 3.
cd core
mvn clean install
...@@ -132,7 +132,26 @@ ...@@ -132,7 +132,26 @@
</execution> </execution>
</executions>--> </executions>-->
</plugin> </plugin>
<plugin>
<artifactId>maven-release-plugin</artifactId>
<version>${maven.release.plugin}</version>
<configuration>
<providerImplementations>
<git>javagit</git>
</providerImplementations>
</configuration>
<dependencies>
<dependency>
<groupId>com.google.code.maven-scm-provider-gitjava</groupId>
<artifactId>maven-scm-provider-gitjava</artifactId>
<version>2.0.6</version>
<scope>compile</scope>
</dependency>
</dependencies>
</plugin>
</plugins> </plugins>
</build> </build>
......
Folders in this repository:
core - the MontiSecArc language and analysis tools source code
doc - documentation for MontiSecArc
examples - example projects for the MontiSecArc tools <------------ start here
#MontiSecArc Analysis Example
Start the analysis tool by executing the script startExample.sh. Start the analysis tool by executing the script startExample.sh.
This will analyze the MontiSecArc Model in src/test/resources/secarc/seccds/fe/Store.secarc, which uses different files in src/test/resources/. This will analyze the MontiSecArc Model in src/test/resources/secarc/seccds/fe/Store.secarc, which uses different files in src/test/resources/.
The impact of the individual analysis can be adjusted in src/main/conf/Analysis_Conf.txt The impact of the individual analysis can be adjusted in src/main/conf/Analysis_Conf.txt
#Build
In case you want to change the analysises implemented in MontiSecArcAnalysis, run mvn install in the ../../core folder and change the script startExample.sh to point at the resulting jar ../../core/montiSecArcAnalysis/target/montiSecArcAnalysis.jar. In case you want to change the analysises implemented in MontiSecArcAnalysis, run mvn install in the ../../core folder and change the script startExample.sh to point at the resulting jar ../../core/montiSecArcAnalysis/target/montiSecArcAnalysis.jar.
package de.rwth.se.supermarket;
component SupermarketTradingSystem {
trustlevel +0 "customers might be attackers";
accesscontrol off;
connect supermarket.sold -> highRackWarehouse.order;
component Supermarket supermarket{
port out Item sold;
}
component HighRackWarehouse highRackWarehouse {
trustlevel +2;
accesscontrol on;
access stockManager, storeManager, cashier;
port in Item order;
}
}
...@@ -4,4 +4,4 @@ ...@@ -4,4 +4,4 @@
MSAA="montiSecArcAnalysis-0.0.16.jar" MSAA="montiSecArcAnalysis-0.0.16.jar"
#MSAA="../../core/montiSecArcAnalysis/target/montiSecArcAnalysis.jar" #MSAA="../../core/montiSecArcAnalysis/target/montiSecArcAnalysis.jar"
./startMontiSecArc.sh $MSAA src/test/resources/ mc-test.cfg target/out target/symtab -analysisconfpath src/main/conf/Analysis_Conf.txt secAnalysisBeginners src/test/resources/secarc/seccds/fe/Store.secarc ./startMontiSecArc.sh $MSAA src/test/resources/ mc-test.cfg target/out target/symtab -analysisconfpath src/main/conf/Analysis_Conf.txt secAnalysisBeginners src/test/resources/de/rwth/se/supermarket/SupermarketTradingSystem.secarc
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment