sec + auth of Andrew RPC (+ BAN fixed vrsion)
+ another modelisation of Basic access control using + operator