2236 search results - page 100 / 448 » Secure Software Design in Practice |
178
click to vote
ATAL
2005
Springer
16 years 25 days ago
2005
Springer
Multi-agent systems are now being considered a promising architectural approach for building Internet-based applications. One of the most critical and important aspects of softwar...
187
click to vote
SIGMOD
2010
ACM
16 years 3 days ago
2010
ACM
We present SecureBlox, a declarative system that uniļ¬es a distributed query processor with a security policy framework. SecureBlox decouples security concerns from system speciļ...
200
click to vote
CASES
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents a methodology for monitoring security in Application Specific Instruction-set Processors (ASIPs). This is a generalized methodology for inline monitoring insec...
192
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
196
click to vote
ACSW
2006
15 years 8 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...