A uniformly congruent security model is presented based on observational congruence.
基于观察同余等价,构造了一类一致同余安全模型.
相关词汇
securityn. 安全,保证,担保,保护,防护,有价证券;adj. 安全的,保安的,保密的;
modeln. 模型,模特儿,模式,典型;vt.& vi. 做模特儿;vt. 模仿,制作模型,塑造,将…做成模型;adj. 典型的,模范的;
isvt.& vi. 是(be的三单形式;n. 存在;
presentedvt.& vi. (动词present的过去式及过去分词形式),表示"展示,展现,出示";v. 举向( present的过去式和过去分词 ),面向,举枪瞄准,(分娩时婴儿)露出;
basedadj. 有根基的,有基地的;v. 立基于,以…为基础(base的过去式和过去分词);
onprep. (表示方向)向,(表示对象)对,(表示位置)在…上,(表示时间)在…之时;adv. (放,穿,连接)上,向前,(继续)下去;adj. 活动着的情况,状态,使用着的,发生着的,计划中的;