1770 search results - page 136 / 354 » Writing requirements in computer security |
ACSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
Performing sensitive online transactions using computers found in cybercaf´es and public libraries is risky. The untrusted nature of these machines creates a target rich environm...
COMCOM
2008
14 years 10 months ago
2008
Despite the advantages offered by pure Peer-to-Peer (P2P) networks (e.g. robustness and fault tolerance), a crucial requirement is to guarantee basic security properties, such as ...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
107
click to vote
CODASPY
2012
13 years 5 months ago
2012
Recent years have witnessed the trend of leveraging cloudbased services for large scale content storage, processing, and distribution. Security and privacy are among top concerns ...
ACSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
We define and demonstrate an approach to securing distributed computation based on a shared reference monitor (Shamon) that enforces mandatory access control (MAC) policies acros...