2236 search results - page 134 / 448 » Secure Software Design in Practice |
143
click to vote
ER
1998
Springer
15 years 8 months ago
1998
Springer
The practical implementation and use of a mediator for fixed income securities analysis demonstrated the potential for extending the application of conceptual modeling from the sys...
132
click to vote
SIGADA
2004
Springer
15 years 9 months ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
146
click to vote
ISICT
2003
15 years 5 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
117
click to vote
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
142
click to vote
IJNSEC
2007
15 years 4 months ago
2007
Data-dependent (DD) permutations (DDP) are discussed as a cryptographic primitive for the design of fast hardware, firmware, and software encryption systems. DDP can be performed...