3821 search results - page 714 / 765 » A Security Model for Aglets |
93
Voted
ELPUB
2003
ACM
15 years 6 months ago
2003
ACM
: Synergies is an emerging online Canadian publishing project in the social sciences and humanities that builds on a group of online publishing initiatives that have emerged over t...
101
Voted
TLDI
2003
ACM
15 years 6 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
90
Voted
CAISE
2003
Springer
15 years 6 months ago
2003
Springer
The emergence of new information and communication system technologies allow the appearance of new techniques of data processing. Thus, it is increasingly difficult to user to find...
115
Voted
EUROCRYPT
2003
Springer
15 years 6 months ago
2003
Springer
Perfectly secret message transmission can be realized with only partially secret and weakly correlated information shared by the parties as soon as this information allows for the ...
105
click to vote
GCC
2003
Springer
15 years 6 months ago
2003
Springer
Grid computing provides a robust paradigm to aggregate disparate resources in a secure and controlled environment. Grid architectures require an underpinning Quality of Service (Qo...