1770 search results - page 74 / 354 » Writing requirements in computer security |
ACSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
As computer infrastructures become more complex, security models must provide means to handle more flexible and dynamic requirements. In the Organization Based Access Control (Or...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
SOCA
2007
IEEE
14 years 3 months ago
2007
IEEE
The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services. Interacting devices or grou...
EUROCRYPT
2000
Springer
14 years 18 days ago
2000
Springer
We discuss the following problem: Given an integer shared secretly among n players and a prime number e, how can the players efficiently compute a sharing of e-1 mod . The most in...
COMSUR
2007
13 years 9 months ago
2007
Covert channels are used for the secret transfer of information. Encryption only protects communication from being decoded by unauthorised parties, whereas covert channels aim to ...