671 search results - page 44 / 135 » A Modeling Framework for Generating Security Protocol Specif... |
119
click to vote
AINA
2006
IEEE
15 years 5 months ago
2006
IEEE
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...
136
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
114
click to vote
JTAER
2006
15 years 1 months ago
2006
As universities seek to adopt increased e-business, e-commerce and e-learning initiates, the overall approach taken for security management within the organisation plays an increa...
107
click to vote
EUROCRYPT
2003
Springer
15 years 6 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
ACSC
2010
IEEE
14 years 8 months ago
2010
IEEE
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...