2272 search results - page 283 / 455 » Provable Data Privacy |
115
Voted
SAFECOMP
1998
Springer
15 years 6 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
106
click to vote
BIOSURVEILLANCE
2008
Springer
15 years 4 months ago
2008
Springer
Salmonella is among the most common food borne illnesses which may result from consumption of contaminated products. In this paper we model the co-occurrence data between USDA-cont...
125
Voted
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
120
Voted
ISICT
2003
15 years 4 months ago
2003
Wireless communications are being driven by the need for providing network access to mobile or nomadic computing devices. The need for wireless access to a network is evident in c...
132
Voted
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...