2209 search results - page 232 / 442 » Language Based Secure Communication |
130
click to vote
PARLE
1992
15 years 8 months ago
1992
Collection-oriented languages provide high-level constructs for describing computations over collections. These languages are becoming increasingly popular with the advent of massi...
142
click to vote
ML
2006
ACM
15 years 10 months ago
2006
ACM
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
172
click to vote
ICDCSW
2008
IEEE
15 years 10 months ago
2008
IEEE
Cyber Physical Systems (CPSs) have grand visions with great socio-economic impacts such as blackout-free electricity supply and real-time disaster recovery. A key challenge is pro...
107
click to vote
EUROPKI
2007
Springer
15 years 10 months ago
2007
Springer
Millions of citizens around the world have already acquired their new electronic passport. The e-passport is equipped with contactless communication capability, as well as with a s...
100
click to vote
FC
2010
Springer
15 years 8 months ago
2010
Springer
A number of security systems, from Chip-and-PIN payment cards to contactless subway and train tokens, as well as secure localization systems, are vulnerable to relay attacks. Encry...