8623 search results - page 1278 / 1725 » Software engineering for secure systems |
187
click to vote
DISCEX
2003
IEEE
16 years 29 days ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
166
click to vote
SIGUCCS
2003
ACM
16 years 28 days ago
2003
ACM
Indiana State University has found a way in its 25+ computing facilities to combine the need for a central stable lab image and small support staff with the academic needs of flex...
215
click to vote
OOPSLA
2009
Springer
16 years 7 days ago
2009
Springer
During its formative decades the software community looked twice to the theories of ChristopherAlexander for inspiration, both times failing to completely master the architect’s...
245
click to vote
FSE
1997
Springer
15 years 11 months ago
1997
Springer
We propose secret-key cryptosystems MISTY1 and MISTY2, which are block ciphers with a 128-bit key, a 64-bit block and a variable number of rounds. MISTY is a generic name for MISTY...
229
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...