Sciweavers

129 search results - page 4 / 26
» PCAL: Language Support for Proof-Carrying Authorization Syst...
Sort
View
CHI
2011
ACM
12 years 9 months ago
MonoTrans2: a new human computation system to support monolingual translation
In this paper, we present MonoTrans2, a new user interface to support monolingual translation; that is, translation by people who speak only the source or target language, but not...
Chang Hu, Benjamin B. Bederson, Philip Resnik, Yak...
ICTAI
2009
IEEE
14 years 24 days ago
Managing Authorization Provenance: A Modal Logic Based Approach
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu
LREC
2008
143views Education» more  LREC 2008»
13 years 7 months ago
Workbench with Authoring Tools for Collaborative Multi-lingual Ontological Knowledge Construction and Maintenance
An ontological knowledge management system requires dynamic and encapsulating operation in order to share knowledge among communities. The key to success of knowledge sharing in t...
Mukda Suktarachan, Dussadee Thamvijit, Daoyos Noik...
CCS
2005
ACM
13 years 11 months ago
PeerAccess: a logic for distributed authorization
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
Marianne Winslett, Charles C. Zhang, Piero A. Bona...
MOZ
2004
Springer
13 years 11 months ago
The Structure of Authority: Why Security Is Not a Separable Concern
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...
Mark S. Miller, Bill Tulloh, Jonathan S. Shapiro