Sciweavers

14824 search results - page 383 / 2965
» Security - Introduction
Sort
View
POPL
1998
ACM
15 years 11 months ago
The SLam Calculus: Programming with Secrecy and Integrity
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...
Nevin Heintze, Jon G. Riecke
SP
1996
IEEE
118views Security Privacy» more  SP 1996»
15 years 11 months ago
A Fair Non-repudiation Protocol
: This paper examines the Zhou-Gollmann fair non-repudiation protocol as well as its modified version of Kim et al. We describe how these protocols are vulnerable to an attack by a...
Jianying Zhou, Dieter Gollmann
ESORICS
2006
Springer
15 years 10 months ago
Timing-Sensitive Information Flow Analysis for Synchronous Systems
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...
Boris Köpf, David A. Basin
DELTA
2008
IEEE
15 years 8 months ago
On Using Fingerprint-Sensors for PIN-Pad Entry
Automatic fingerprint authentication is an integral part in many security systems. Because not every person is always suited to that technology, a general purpose security system ...
Marcel Jacomet, Josef Goette, Andreas Eicher
BCSHCI
2008
15 years 8 months ago
Influencing users towards better passwords: persuasive cued click-points
Usable security has unique usability challenges because the need for security often means that standard humancomputer-interaction approaches cannot be directly applied. An importa...
Sonia Chiasson, Alain Forget, Robert Biddle, Paul ...