Bank.secarc 222 Bytes
Newer Older
Paff's avatar
Paff committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
package secarc.seccds.be;

// import message types
import secarc.seccds.msg.*;

component Bank {

	trustlevel +3;

	port 
		critical in BankData,
		out PaymentAck;
		
	access customer;
	
	identity weak cashDesk -> bank;

}