Exercise 3: Try to read the key file

The AUT keys are kept in the file named 0011. This file is not normally readable by the default identity.

% sectok
sectok> r
sectok> ls
/   
0011
sectok> f 0011
sectok> read -x
ReadBinary: 6982 permission denied
sectok> acl 0011
 AUT0: w inval 
sectok>

The acl on 0011 indicates that this file can be written and invalidated by AUT0. The default user (that's you!) has no rights at all.