Sciweavers

385 search results - page 54 / 77
» Advances in smart cards
Sort
View
PIMRC
2008
IEEE
14 years 2 months ago
Multi-hop discovery of Candidate Access Routers (MHD-CAR) for fast moving mobile nodes
—Seamless IP mobility protocols like Fast Mobile IPv6 (FMIPv6) requires the knowledge of candidate access routers, to which the mobile node will hand over its connection to, well...
Faqir Zarrar Yousaf, Christian Muller, Christian W...
SP
1996
IEEE
136views Security Privacy» more  SP 1996»
14 years 4 days ago
On two Proposals for On-line Bankcard Payments using Open Networks: Problems and Solutions
Recently, two major bankcard payment instrument operators VISA and MasterCard published speci cations for securing bankcard payment transactions on open networks for open scrutiny...
Wenbo Mao
ESORICS
2002
Springer
14 years 7 months ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz
ESSOS
2009
Springer
14 years 2 months ago
Report: Extensibility and Implementation Independence of the .NET Cryptographic API
Abstract. When a vulnerability is discovered in a cryptographic algorithm, or in a specific implementation of that algorithm, it is important that software using that algorithm or...
Pieter Philippaerts, Cédric Boon, Frank Pie...
WISA
2009
Springer
14 years 2 months ago
A Comparative Study of Mutual Information Analysis under a Gaussian Assumption
In CHES 2008 a generic side-channel distinguisher, Mutual Information, has been introduced to be independent of the relation between measurements and leakages as well as between le...
Amir Moradi, Nima Mousavi, Christof Paar, Mahmoud ...