3420 search results - page 94 / 684 » A Language-Based Approach to Security |
115
Voted
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
120
Voted
FSE
2001
Springer
15 years 8 months ago
2001
Springer
The NESSIE project (New European Schemes for Signature, Integrity and Encryption) intends to put forward a portfolio containing the next generation of cryptographic primitives. The...
119
Voted
CSFW
1996
IEEE
15 years 7 months ago
1996
IEEE
: This paper examines some of the theoretical foundations of the distributable change detection method introduced by Forrest et al. in [10], including fundamental bounds on some of...
151
Voted
DIMEA
2008
15 years 5 months ago
2008
The Biometric Tendency Recognition and Classification System is a software application that continuously measures a participant's physiological responses to a given image and...
135
Voted
EUROISI
2008
15 years 5 months ago
2008
This paper presents an application of information theory to identify sets of key players in social networks. First, we define two entropy measures that we use to analyze the struct...