12478 search results - page 407 / 2496 » Secure Interaction Design |
160
Voted
ACSD
2003
IEEE
16 years 2 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
161
Voted
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
To facilitate the rapid development and open system interoperability of autonomous agents we need to carefully specify and effectively implement various classes of agent behaviors...
149
click to vote
HOST
2009
IEEE
15 years 10 months ago
2009
IEEE
Hardware Trojans in integrated circuits and systems have become serious concern to fabless semiconductor industry and government agencies in recent years. Most of the previously p...
166
click to vote
OOPSLA
2005
Springer
16 years 7 days 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...
174
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
With the proliferation of computer security threats on the Internet, especially threats such as worms that automatically exploit software flaws, it is becoming more and more impor...