Paper Abstract and Keywords |
Presentation |
2006-07-20 16:35
On Enforcement of Noninterference Naoyuki Nagatou, Takuo Watanabe (Tokyo Tech) |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
We discuss a characterization of security policies to be enforced with a monitor. The monitor is a enforcement mechanism that work by observing a behavior of a program and terminating its execution if it violates a security policy being enforced. Unfortunately, the monitors is able to enforce not all of security policies in order to limit to observe for a finite behavior and not to use future informations. F.B.Schneider show that policies having the trait become to satisfy Lamport's safety property. Also, there exist \buchis to recognize the safety properties and he calls them security automata. Therefore we introduce automata using more information and show that these automata can enforce information flow policies with respect to noninterference. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
Noninterference / Noninference / Covert Channel / Secirity Policy / Access Control / / / |
Reference Info. |
IEICE Tech. Rep., vol. 106, pp. 207-214, July 2006. |
Paper # |
|
Date of Issue |
2006-07-13 (ISEC, SITE) |
ISSN |
Print edition: ISSN 0913-5685 |
Download PDF |
|
Conference Information |
Committee |
ISEC SITE IPSJ-CSEC |
Conference Date |
2006-07-20 - 2006-07-21 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Okayama Univ. |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
|
Paper Information |
Registration To |
IPSJ-CSEC |
Conference Code |
2006-07-ISEC-SITE-IPSJ-CSEC |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
On Enforcement of Noninterference |
Sub Title (in English) |
|
Keyword(1) |
Noninterference |
Keyword(2) |
Noninference |
Keyword(3) |
Covert Channel |
Keyword(4) |
Secirity Policy |
Keyword(5) |
Access Control |
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Naoyuki Nagatou |
1st Author's Affiliation |
Tokyo Institute of Technology (Tokyo Tech) |
2nd Author's Name |
Takuo Watanabe |
2nd Author's Affiliation |
Tokyo Institute of Technology (Tokyo Tech) |
3rd Author's Name |
|
3rd Author's Affiliation |
() |
4th Author's Name |
|
4th Author's Affiliation |
() |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2006-07-20 16:35:00 |
Presentation Time |
25 minutes |
Registration for |
IPSJ-CSEC |
Paper # |
ISEC2006-37, SITE2006-34 |
Volume (vol) |
vol.106 |
Number (no) |
no.175(ISEC), no.174(SITE) |
Page |
pp.207-214 |
#Pages |
8 |
Date of Issue |
2006-07-13 (ISEC, SITE) |