3003 search results - page 463 / 601 » Software Security: Building Security In |
118
click to vote
OOPSLA
2004
Springer
15 years 10 months 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ļ...
155
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include veriļ¬ers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
128
click to vote
FSTTCS
2003
Springer
15 years 9 months 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 ...
139
click to vote
ISWC
2002
IEEE
15 years 9 months 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...
114
click to vote
ISW
2001
Springer
15 years 9 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 ...