352 search results - page 24 / 71 » Information Disclosure as a Means to Security |
118
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
129
click to vote
CSREASAM
2009
15 years 1 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...
113
Voted
JSS
2008
15 years 13 days ago
2008
Since the turn of the millenium, Working Groups of the W3C have been concentrating on the development of XML based security standards, which are paraphrased as XML Security. XML S...
120
click to vote
TC
2008
15 years 11 days ago
2008
In a distributed key distribution scheme, a set of servers help a set of users in a group to securely obtain a common key. Security means that an adversary who corrupts some server...
85
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...