741 search results - page 107 / 149 » Verification of security protocols using LOTOS-method and ap... |
141
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper presents the Authorization Service provided by Tivoli Policy Director (PD) and its use by PD family members as well as third-party applications. Policies are defined ov...
144
click to vote
ICNP
2006
IEEE
15 years 10 months ago
2006
IEEE
— File distribution via network coding has received a lot of attention lately. However, direct application of network coding may have security problems. In particular, attackers ...
150
click to vote
BROADNETS
2006
IEEE
15 years 7 months ago
2006
IEEE
Sensor webs are heterogeneous collections of sensor devices that collect information and interact with the environment. They consist of wireless sensor networks that are ensembles ...
147
click to vote
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
The increasing popularity of cloud storage services has lead companies that handle critical data to think about using these services for their storage needs. Medical record databa...
140
Voted
EUROCRYPT
2010
Springer
15 years 8 months ago
2010
Springer
We construct the first public-key encryption scheme that is proven secure (in the standard model, under standard assumptions) even when the attacker gets access to encryptions of ...