3420 search results - page 377 / 684 » A Language-Based Approach to Security |
173
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
168
click to vote
USS
2008
15 years 9 months ago
2008
In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference technique...
186
click to vote
BIOID
2008
15 years 8 months ago
2008
Abstract. Security and privacy issues are considered as two of the major concerns related to the use of biometric data for authentication purposes. In this paper we propose two dif...
194
click to vote
ATC
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
200
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Location-Based Services (LBS) are gaining importance due to the advances in mobile networks and positioning technologies. Nevertheless, the wide deployment of LBS can jeopardise th...