4227 search results - page 509 / 846 » Philosophical Conceptions of Information |
1532
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Access control is an important protection mechanism for information systems. An access control matrix grants subjects privileges to objects. Today, access control matrices are sta...
172
Voted
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a framework in which different notions of security can be defined in a uniform and modular way. Each definition of security is formalized as a security predicate by ass...
214
click to vote
DAC
1995
ACM
15 years 11 months ago
1995
ACM
The paper describes the evolution of an Interdisciplinary Concurrent Design Methodology (ICDM) and the metrics used to compare four generations of wearable computer artifacts prod...
202
click to vote
DSVIS
1995
Springer
15 years 11 months ago
1995
Springer
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...
166
click to vote
ZUM
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...