3811 search results - page 652 / 763 » The Safe-Tcl Security Model |
168
click to vote
WMCSA
2003
IEEE
15 years 11 months ago
2003
IEEE
Web Services have started to appear on servers as interfaces between business-to-business applications. To date, mobile devices have only consumed Web Services running on stationa...
144
click to vote
ELPUB
2003
ACM
15 years 11 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...
160
click to vote
TLDI
2003
ACM
15 years 11 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 ...
153
click to vote
CAISE
2003
Springer
15 years 11 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...
185
click to vote
EUROCRYPT
2003
Springer
15 years 11 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 ...