[多选]  1969年B.W.Lampson通过形式化表示方法运用（）的思想第一次对访问控制问题进行了抽象。