495 search results - page 34 / 99 » MASC - Monitoring and Security of Containers |
104
click to vote
IEEEARES
2006
IEEE
15 years 4 months ago
2006
IEEE
We present a P2P filesharing system that allows redundant storage of shared files in a way that no participating server ever stores data that could compromise its operator. Inst...
75
Voted
SP
1996
IEEE
15 years 2 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...
86
Voted
CSFW
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
71
Voted
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
68
Voted
COMPSEC
2006
14 years 10 months ago
2006
Incident Response has always been an important aspect of Information Security but it is often overlooked by security administrators. Responding to an incident is not solely a techn...