946 search results - page 99 / 190 » Software engineering for security: a roadmap |
AMAST
2000
Springer
15 years 2 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...
EUROMICRO
1997
IEEE
15 years 2 months ago
1997
IEEE
Two years ago [3] we began to study a R.I.S.C. approachfor smart card microprocessors. We reconsider this research to answer the question of the new technology of smart cards: the...
COMSWARE
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper addresses the problem of secure path key establishment in wireless sensor networks that uses the random key pre-distribution technique. Inspired by the recent proxybased...
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Delay and disruption tolerant networks (DTNs) can bring much-needed networking capabilities to developing countries and rural areas. DTN features such as high node mobility and in...
FSTTCS
2006
Springer
15 years 1 months ago
2006
Springer
The standard symbolic, deducibility-based notions of secrecy are in general insufficient from a cryptographic point of view, especially in presence of hash functions. In this paper...