3482 search results - page 128 / 697 » Designing for security |
JCP
2008
13 years 9 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
ENTCS
2007
13 years 9 months ago
2007
Designing secure protocols over ad-hoc networks has proved to be a very challenging task, due to various features of such networks, such as partial connectivity, node mobility, an...
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
Two experimental tools to support usage-centered design using l use cases and canonical abstract prototypes are described. The models and methods of usage-centered design are outl...
SIGOPSE
2004
ACM
14 years 2 months ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
— Sharing IP blocks in today’s competitive market poses significant high security risks. Creators and owners of IP designs want assurances that their content will not be illeg...