3971 search results - page 728 / 795 » On the Use of Properties in Java Applications |
132
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
A number of programming languages use rich type systems to verify security properties of code. Some of these languages are meant for source programming, but programs written in th...
115
click to vote
TCC
2010
Springer
16 years 1 months ago
2010
Springer
The search of efficient constructions of ideal secret sharing schemes for families of nonthreshold access structures that may have useful applications has attracted a lot of atten...
125
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
The Border Gateway Protocol (BGP) is one of the fundamental computer communication protocols. Monitoring and mining BGP update messages can directly reveal the health and stabilit...
136
click to vote
ACISP
2009
Springer
15 years 11 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
137
click to vote
ICB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In many applications, such as E-Passport and driver’s license, the enrollment of face templates is done using visible light (VIS) face images. Such images are normally ...