580 search results - page 37 / 116 » Security and privacy in a structured information network |
ACSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
To protect privacy in large systems, users must be able to authenticate against a central server without disclosing their identity to the network. Private identification protocols ...
CRITIS
2007
13 years 10 months ago
2007
Abstract. Virtual Interacting Network CommunIty (Vinci) is an abstract architecture to share in a secure way an ICT infrastructure among several user communities, each with its own...
ACSAC
2000
IEEE
14 years 1 months ago
2000
IEEE
Existing software infrastructures and middleware provide uniform security services across heterogeneous information networks. However, few, if any, tools exist that support access...
CCS
2004
ACM
14 years 2 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
CSFW
2010
IEEE
14 years 22 days ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...