5255 search results - page 305 / 1051 » Formal Methods for Privacy |
124
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
We describe a new method for protecting the anonymity of message receivers in an untrusted network. Surprisingly, existing methods fail to provide the required level of anonymity ...
146
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
150
click to vote
ICFEM
1998
Springer
15 years 8 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
134
click to vote
DAGSTUHL
2001
15 years 6 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
169
click to vote
DBSEC
1996
15 years 6 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...