19 search results - page 2 / 4 » sp 1996 |
DAC
1996
ACM
13 years 8 months ago
1996
ACM
In order to optimize interconnect to avoid signal integrity problems, very fast and accurate 3-D capacitance extraction is essential. Fast algorithms, such as the multipole or prec...
SP
1996
IEEE
13 years 8 months ago
1996
IEEE
Security properties such as con dentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justi ed...
SP
1996
IEEE
13 years 8 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...
SP
1996
IEEE
13 years 8 months ago
1996
IEEE
View-based access control enables content-based and context-based security, as opposed to container-based security provided in operating systems. However, view-based access contro...
SP
1996
IEEE
13 years 8 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...