IdentityWithEncryption.secarc 568 Bytes
Newer Older
Bernhard Rumpe's avatar
BR-sy  
Bernhard Rumpe committed
1
/* (c) https://github.com/MontiCore/monticore */
Paff's avatar
Paff committed
2 3 4 5 6 7 8 9 10 11 12 13 14 15
package secarc.analysis.identity;

component IdentityWithEncryption {
	
	accesscontrol on;
	
	trustlevel +1;
		
	component Help help {
	
		trustlevel +1;
		
	}
	
16 17
	identity weak targetHelp -> subEncryptedConnector;
	
Paff's avatar
Paff committed
18 19
	component TargetHelp targetHelp {
		
Paff's avatar
Paff committed
20
		port out int inputTarget;
Paff's avatar
Paff committed
21
		
Paff's avatar
Paff committed
22
		trustlevel +1;
Paff's avatar
Paff committed
23 24 25 26 27
	
	}
		
	component SubEncryptedConnector subEncryptedConnector {
	
Paff's avatar
Paff committed
28
		trustlevel +2;
Paff's avatar
Paff committed
29 30 31 32
		
		access user;
		
		port
Paff's avatar
Paff committed
33
			in int inputSub;
Paff's avatar
Paff committed
34 35 36 37
	}
	
	connect encrypted targetHelp.inputTarget -> subEncryptedConnector.inputSub;

Bernhard Rumpe's avatar
BR-sy  
Bernhard Rumpe committed
38
}