2429 search results - page 125 / 486 » Using Aspects to Design a Secure System |
HCI
2009
13 years 7 months ago
2009
Color has a major impact on Human Computer Interaction. Although there is a very thin line between appropriate and inappropriate use of color, if used properly, color can be a powe...
KBS
2006
2006
Facilitating formal specification acquisition by using recursive functions on context-free languages
13 years 9 months ago
Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal softw...
GROUP
1999
ACM
14 years 1 months ago
1999
ACM
Many object-oriented toolkits and frameworks for groupware development provide shared objects as a basic service. This relieves developers of a lot of problems originating from th...
FAST
2003
13 years 10 months ago
2003
We propose a practical and efficient method for adding security to network-attached disks (NADs). In contrast to previous work, our design requires no changes to the data layout ...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...