1235 search results - page 81 / 247 » Formalizing information security knowledge |
HCI
2007
13 years 9 months ago
2007
Information Architecture (IA) has emerged as a discipline that is concerned with the development of systematic approaches to the presentation and organization of online information...
ENTCS
2000
13 years 7 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
IJNSEC
2006
13 years 8 months ago
2006
A directed signature scheme allows a designated verifier to directly verify a signature issued to him, and a third party to check the signature validity with the help of the signe...
CSFW
1995
IEEE
13 years 11 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
BCSHCI
2008
13 years 9 months ago
2008
Effective information retrieval is important not only for its own sake but also for improving our understanding and allowing us to evolve our information into knowledge and wisdom...