Paul F. Syverson, Stuart G. Stubblebine  Home/Search
Context Related
| navy.mil/publicati...99syversonfm99.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: navy.mil/publications...index1999 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We introduce the concept of a group principal and present a number of different classes of group principals, including thresholdgroup -principals. These appear to naturally useful concepts for looking at security. We provide an associated epistemic language and logic and use it to reason about anonymity protocols and anonymity services, where protection properties are formulated from the intruder's knowledge of group principals. Using our language, we give an epistemic characterization ... (Update)
Cited by: More
Logical Concepts in Cryptography - Kramer (2006) (Correct)
Probable Innocence Revisited - Konstantinos Chatzikokolakis Catuscia (Correct)
Metrics for Traffic Analysis Prevention - Newman, Moskowitz, Syverson.. (2003) (Correct)
Similar documents (at the sentence level):
70.0%: Group Principals and the Formalization of Anonymity - Syverson, Stubblebine (1999) (Correct)
Active bibliography (related documents): More All
0.3: A Logical Approach to Multilevel Security of Probabilistic.. - Gray, III, Syverson (1992) (Correct)
0.2: The Epistemic Representation of Information Flow Security.. - Syverson, Gray, III (1995) (Correct)
0.2: Epistemology of Information Flow in the Multilevel Security .. - Gray, III, Syverson (1995) (Correct)
Similar documents based on text: More All
0.6: Authentic Attributes with Fine-Grained Anonymity Protection - Stubblebine, Syverson (2000) (Correct)
0.6: Anonymity and Information Hiding in Multiagent Systems - Halpern, O'Neill (2003) (Correct)
0.5: Unlinkable Serial Transactions: Protocols and Applications - Stubblebine, SYVERSON.. (2000) (Correct)
Related documents from co-citation: More All
14: Untraceable electronic mail (context) - Chaum - 1981
13: The Dining Cryptographers Problem: Unconditional Sender and Recipient Untraceabi.. (context) - Chaum - 1988
12: IEEE Transactions on Information Theory (context) - Dolev, Yao et al. - 1983
BibTeX entry: (Update)
Paul Syverson and Stuart Stubblebine. \Group Principals and the Formalization of Anonymity", in FM'99 { Formal Methods, Vol. I , J.M. Wing, J. Woodcock, and J. Davies (eds.), Springer-Verlag, LNCS vol. 1708, pp. 814-833, 1999. http://citeseer.ist.psu.edu/syverson99group.html More
@inproceedings{ syverson99group,
author = "Paul F. Syverson and Stuart G. Stubblebine",
title = "Group Principals and the Formalization of Anonymity",
booktitle = "World Congress on Formal Methods (1)",
pages = "814-833",
year = "1999",
url = "citeseer.ist.psu.edu/syverson99group.html" }
Citations (may not include all citations):604 Reasoning About Knowledge (context) - Fagin, Halpern et al. - 1995
343 Modal Logic: An Introduction (context) - Chellas - 1980
187 Security without Identification: Transaction Systems to Make.. (context) - Chaum - 1985
170 Security policies and security models (context) - Goguen, Meseguer - 1982
119 How to Withstand Mobile Virus Attacks (context) - Ostrovsky, Yung - 1991
117 Anonymous Connections and Onion Routing - Syverson, Goldschlag et al. - 1997
97 the Security of Public Key Protocols (context) - Dolev, Yao - 1983
89 Untraceable Electronic Mail, Return Addresses, and Digital P.. (context) - Chaum - 1981
84 Crowds: Anonymity for Web Transactions - Reiter, Rubin - 1997
62 Probabilistic Noninterference in a Concurrent Language - Volpano, Smith - 1998
49 volume 7 of CSLI Lecture Notes (context) - Goldblatt, Time et al. - 1992
45 Digital Systems Research Center (context) - Burrows, Abadi et al. - 1989
39 A logical view of secure dependencies (context) - Bieber, Cuppens - 1992
36 Proactive Security: Long-term Protection Against Break-ins - Canetti, Gennaro et al. - 1997
33 Mixing Email with Babel (context) - Gulcu, Tsudik - 1996
32 KnowledgeBased Programs - Fagin, Halpern et al. - 1997
27 Mixmaster and Remailer Attacks (context) - Cottrell
22 CSP and Anonymity - Schneider, Sidiropoulos - 1996
21 ACM Transactions on Computer Systems (context) - Glasgow, MacEwen et al. - 1992
15 The epistemic representation of information flow security in.. - Syverson, Gray - 1995
14 Digital Cash: Commerce on the Net (context) - Wayner - 1996
9 Unlinkable Serial Transactions: Protocols and Applications - Stubblebine, Syverson et al.
7 A Different Look at Secure Distributed Computation (context) - Syverson - 1997
6 Stochastic Non-Interference: Temporal Stochastic Processes W.. (context) - Browne - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://chacs.nrl.navy.mil/publications/CHACS/1999/index1999.html): More
Onion Routing for Anonymous and Private Internet Connections - Goldschlag, Reed, Syverson (1999) (Correct)
Hardware/Software Co-Design and Co-Validation Using the SCR.. - Bharadwaj, Heitmeyer (1999) (Correct)
Using Model Checking to Generate Tests from Requirements.. - Gargantini, Heitmeyer (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC