2281 search results - page 30 / 457 » Security Patterns and Secure Systems Design |
ZUM
2000
Springer
14 years 1 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
OOPSLA
1995
Springer
14 years 1 months ago
1995
Springer
eusable framework, pattern or module interface usually is represented by abstract They form an abstract design and leave the implementation to concrete subclasses. ract design is ...
AAAI
1996
13 years 11 months ago
1996
The NASA Personnel Security Processing Expert System is a tool that automatically determines the appropriate personnel background investigation required for a civil servant or con...
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
—This paper presents a Secure Code Update (SCU) system for Wireless Sensor Networks (WSNs). This solution achieves different security goals. First, through a dedicated authentica...
OOPSLA
2010
Springer
13 years 8 months ago
2010
Springer
We present a framework that provides concurrency-enhanced versions of the GOF object-oriented design patterns. The main benefit of our work is that if programmers improve program...