14850 search results - page 2835 / 2970 » The Security of |
204
click to vote
TPHOL
2008
IEEE
16 years 26 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
198
click to vote
WIMOB
2008
IEEE
16 years 26 days ago
2008
IEEE
— During an emergency response, access to a reliable communication infrastructure is required to exchange accurate information in a timely manner. Various communication technolog...
151
click to vote
ACNS
2008
Springer
16 years 25 days ago
2008
Springer
Reliable network demographics are quickly becoming a much sought-after digital commodity. However, as the need for more refined Internet demographics has grown, so too has the ten...
177
click to vote
ACSC
2007
IEEE
16 years 25 days ago
2007
IEEE
In this paper we shall introduce a new electronic payment concept based on the popular direct debit payment model, entitled periodical payments. The direct debit model currently i...
169
click to vote
CISS
2007
IEEE
16 years 25 days ago
2007
IEEE
Abstract. Spectrally phase-coded optical code division multiple access (OCDMA), demodulated with phase and polarization diversity devices, exhibits high spectral efficiency and low...