Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
monticore
MontiSecArc
Commits
f62afdc9
Commit
f62afdc9
authored
Dec 11, 2014
by
Paff
Browse files
Merge branch 'master' of
https://sselab.de/lab2/private/git/MA-Paff
parents
4eb854fc
492537f1
Changes
1
Hide whitespace changes
Inline
Side-by-side
montiSecArcFE/src/test/resources/secarc/seccds/CashDeskSystem.secarc
View file @
f62afdc9
...
...
@@ -33,10 +33,6 @@ component CashDeskSystem {
port
out
Bill
;
component
IDP
{
}
component
CashDesk
cashDesk
[
encrypted
bdOut
->
bank
.
bankData
;
saleInformation
->
store
.
saleInformation
];
...
...
@@ -52,8 +48,6 @@ component CashDeskSystem {
connect
cashDesk
.
productData
->
productData
;
identity
weak
bank
->
iDP
;
identity
weak
iDP
->
store
;
identity
weak
bank
->
store
;
}
\ No newline at end of file
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment