15635 search results - page 518 / 3127 » Modelling and Design of VAML |
162
click to vote
TCC
2010
Springer
16 years 3 months ago
2010
Springer
We study rationality in protocol design for the full-information model, a model characterized by computationally unbounded adversaries, no private communication, and no simultanei...
166
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Group encryption (GE) schemes, introduced at Asiacrypt’07, are an encryption analogue of group signatures with a number of interesting applications. They allow a sender to encryp...
199
click to vote
ASWEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Security is an integral part of most software systems but it is not considered as an explicit part in the development process yet. Input validation is the most critical part of so...
198
click to vote
IRI
2008
IEEE
16 years 1 months ago
2008
IEEE
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...
175
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...