1235 search results - page 179 / 247 » Formalizing information security knowledge |
ER
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...
SOUPS
2010
ACM
13 years 11 months ago
2010
ACM
The principle of least privilege requires that users and their programs be granted the most restrictive set of privileges possible to perform required tasks in order to limit the ...
CSL
2006
Springer
13 years 11 months ago
2006
Springer
The goal of this note is to provide a background and references for the invited lecture presented at Computer Science Logic 2006. We briefly discuss motivations that led to the eme...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
As claimed in the Semantic Web project, a huge amount of physically distributed interacting software agents could find the semantic of available resources and answer more relevantl...
OZCHI
2006
ACM
14 years 1 months ago
2006
ACM
The HCI community currently faces the problem of making tangible user interfaces actively responsive to their user’s current physical context. This paper explores the context of...