bsk

Monitor model is used in BSK kernel design that kernel message filter rules mechanism is the key in its design .

由于BSK内核采用了监控器模型，因此其消息过滤规则的设计是重点。

The probe HDP / BSK is suitable for the sample with less thickness ;

对于样品厚度较小的样品宜选用探头HDP/BSK；

This thesis gives the design of BSK kernel message system , and construct filter rules and acess control rules formally .

本文设计了BSK内核消息系统的构造方法，并形式化地构造了过滤规则和访问控制规则。

Methods The rat 's tissues of urinary bladder were inoculated into the BSK - ⅱ medium .

方法膀胱组织标本接种BSK-Ⅱ培养基进行莱姆病病原分离培养。

First , dynamics of security policy is analysed . Separation of security policy and security mechanism is presented , and BSK security kernel is the basis of security mechanism .

本文的工作主要在于：第一，本文分析了安全策略的动态性特点，提出安全策略和安全机制分离的思想，并且设计BSK安全内核作为安全机制的核心。

Then , Borrelia burgdorferi from ticks was isolated and cloned by the BSK solid culture technology , and its typing was made by molecular biology .

采用BSK-H固体培养基分离培养技术，从蜱肠内分离和纯化伯氏疏螺旋体单克隆，并采用分子生物学方法对分离到的单克隆菌落进行分型。

BSK is an object-oriented and security domain model for specifying security and management policies implementation for security kernel . In particular it is important that the policy not be hard-coded into the enforcement mechanism .

BSK采用了对象封装和安全域模型，使得安全策略的动态变化不会影响到安全内核，即实现安全机制的代码中没有硬编码安全策略的实现。