5255 search results - page 361 / 1051 » Formal Methods for Privacy |
151
click to vote
ESORICS
2012
Springer
13 years 7 months ago
2012
Springer
We show that it is possible to achieve perfect forward secrecy in two-message key exchange (KE) protocols that satisfy even stronger security properties than provided by the extend...
129
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
122
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
137
Voted
TFM
2004
Springer
15 years 10 months ago
2004
Springer
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
127
click to vote
ICECCS
2007
IEEE
15 years 8 months ago
2007
IEEE
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...