2236 search results - page 50 / 448 » Secure Software Design in Practice |
FTRTFT
1998
Springer
15 years 4 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
ICICS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose an efficient technique for the detection of errors in cryptographic circuits introduced by strong adversaries. Previously a number of linear and nonlinear err...
SIGCSE
2004
ACM
15 years 5 months ago
2004
ACM
Ê Among the many ways to focus CS1/CS2 content, two have been published that emphasize concepts of component-based software engineering. Courses based on these two instances of a ...
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Although numbers of software pattern catalogues and languages have been published, little is known about quality of patterns, quality by patterns and quality aspects of pattern ac...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...