5255 search results - page 186 / 1051 » Formal Methods for Privacy |
125
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
149
Voted
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
In method-based software development, software engineers create artifacts based on the heuristic rules of the adopted method. Most CASE tools, however, do not actively assist soft...
135
Voted
ASM
2010
ASM
15 years 5 months ago
2010
ASM
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
125
Voted
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
195
Voted
DANCE
2002
IEEE
15 years 8 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...