8503 search results - page 1240 / 1701 » Secure Software Architectures |
196
click to vote
LSGRID
2004
Springer
16 years 23 days ago
2004
Springer
The BRIDGES project is incrementally developing and exploring database integration over six geographically distributed research sites with the framework of a Wellcome Trust biomedi...
165
Voted
OOPSLA
2004
Springer
16 years 23 days ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they deļ...
186
Voted
FSTTCS
2003
Springer
16 years 19 days ago
2003
Springer
A key idea in cryptography is using hard functions in order to obtain secure schemes. The theory of hard functions (e.g. one-way functions) has been a great success story, and the ...
199
click to vote
ISWC
2002
IEEE
16 years 10 days ago
2002
IEEE
This paper explores the application of wearable computer systems to threat response, exemplified by the Multi-functional Micro-controllable Interface Module (MMIM)/Digital Militar...
167
Voted
ISW
2001
Springer
15 years 12 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address speciļ¬c needs of protocols for electronic commerce. The two ...