289 search results - page 1 / 58 » A New Method to Security Electronic Commerce Protocol |
76
Voted
SKG
2006
IEEE
15 years 4 months ago
2006
IEEE
We use semi-regular entities to denote the entities different from penetrates that participate in the protocol on behalf of themselves such as customers in e-commerce.
89
Voted
AMAST
2000
Springer
15 years 3 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
86
Voted
CSFW
2002
IEEE
15 years 3 months ago
2002
IEEE
We describe a protocol design process, and illustrate its use by creating ATSPECT, an Authentication Test-based Secure Protocol for Electronic Commerce Transactions. The design pr...
66
Voted
COMCOM
2000
14 years 10 months ago
2000
In this paper, we describe a thread of research which we have followed off and on at Cambridge for about three years. Our topic is the security of electronic documents, in the bro...
121
Voted
I3E
2001
15 years 8 days ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...