デフォルト語句の指定の一貫性

デフォルト語句とは、格付け値に関連付けられた初期コンパートメントと初期マーキングによってその存在が指定される語句です。すなわち、デフォルト語句は、語句の存在を指定する初期コンパートメントとマーキングを持つ格付け (複数も可) が含まれるすべてのラベルに表示されます。

ほかの語句と同様、デフォルト語句についても、ominclass= を使用して出力される最下位の格付けを指定することができます。このような場合、その語句は、出力される最下位の格付けと同等かそれより上位の、人が読める形式のラベルにだけ表示されます。また、minclass= を使用すると、デフォルト語句に関する最下位の格付けを指定することができます。ただし、その最下位の格付けは、その語句がデフォルトとなる格付けと同等か下位でなければなりません。たとえば、次のエンコーディングは誤りです。

CLASSIFICATIONS:

name= SECRET; sname= S; value= 5; initial markings= 3;

name= TOP SECRET; sname= TS; value= 6; initial markings= 3;

INFORMATION LABELS:

		WORDS:

		name= word1;  markings= 3;  minclass= TS;

word 1 は、SECRET という格付けに対するデフォルト語句ですが、最下位の格付けとして、SECRET より上位の TOP SECRET を指定している点が誤りです。

デフォルト語句を指定する場合は、指定したデフォルト語句とデフォルト語句に関する組み合わせ制約が矛盾しないように、慎重に行う必要があります。組み合わせ制約を指定して、デフォルト語句が 2 番目の語句と組み合わせられないようにする場合は、 2 番目の語句は、最初のデフォルト語句と同じ格付けのデフォルト語句に指定されてはなりません。たとえば、次のエンコーディングは誤りです。

CLASSIFICATIONS:

name= SECRET; sname= S; value= 5; initial markings= 3 4;

INFORMATION LABELS:

		WORDS:

		name= word1;  markings= 3; 

		name= word2;  markings= 4;

		REQUIRED COMBINATIONS:

		COMBINATION CONSTRAINTS:

		word1 ! word2

word 1 と word 2 はともにデフォルト語句であるにもかかわらず、それらの組み合わせが許されないよう制約されている点が誤りです。