6047 search results - page 810 / 1210 » Modeling with Extend |
187
click to vote
CSFW
2005
IEEE
16 years 13 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
148
click to vote
ACNS
2005
Springer
16 years 11 days ago
2005
Springer
k-times anonymous authentication (k-TAA) schemes allow members of a group to be anonymously authenticated by application providers for a bounded number of times. k-TAA has applicat...
200
click to vote
ICWE
2005
Springer
16 years 9 days ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...
185
click to vote
ESORICS
2004
Springer
16 years 6 days ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
167
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
The aim of this study is to identify factors that improve the performance of integrated supply chains (SCs). We developed the ‘extended strategic alignment model’ based on the ...