185 search results - page 1 / 37 » Formal Specification and Verification of a Secure Micropayme... |
86
Voted
IJNSEC
2008
15 years 11 days ago
2008
As online businesses keep growing and Web services become pervasive, there is an increasing demand for micropayment protocols that facilitate microcommerce, namely selling content...
COMPSEC
2010
14 years 9 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
108
click to vote
ACSW
2006
15 years 1 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
124
Voted
APN
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
104
click to vote
ICSE
2008
IEEE-ACM
16 years 13 days ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...