some message formats for AccessSpec-related messages