AutoEncryptedConnect.secarc 383 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
package secarc.coco.autoconnect;
Paff's avatar
Paff committed
3 4 5 6 7 8 9 10 11

component AutoEncryptedConnect {
	
	accesscontrol on;
	
	trustlevel +1;
	
	autoconnect encrypted type;
	
12 13
	identity weak help -> targetHelp;
	
Paff's avatar
Paff committed
14 15
	component Help help {
	
16 17
		port out int pHelp;
	
Paff's avatar
Paff committed
18 19 20 21 22
		trustlevel +1;
	}
	
	component TargetHelp targetHelp {
		access user;
23 24
		
		port in int pTargetHelp;
Paff's avatar
Paff committed
25
	}
26
	
Bernhard Rumpe's avatar
BR-sy  
Bernhard Rumpe committed
27
}