Sciweavers

330 search results - page 49 / 66
» A Policy Language for Integrating Heterogeneous Authorizatio...
Sort
View
JUCS
2010
130views more  JUCS 2010»
14 years 8 months ago
Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....
142
Voted
JLP
2011
94views more  JLP 2011»
14 years 8 months ago
Permission to speak: A logic for access control and conformance
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg S...
96
Voted
ICSOC
2005
Springer
15 years 7 months ago
Trust-Based Secure Workflow Path Construction
—Service-oriented computing promotes collaboration by defining the standards layer that allows compatibility between disparate domains. Workflows, by taking advantage of the serv...
Mine Altunay, Douglas E. Brown, Gregory T. Byrd, R...
TMM
2002
133views more  TMM 2002»
15 years 1 months ago
A model for secure multimedia document database system in a distributed environment
Abstract--The Internet provides a universal platform for largescale distribution of information and supports inter-organizational services, system integration, and collaboration. U...
James B. D. Joshi, Zhaohui Kevin Li, Husni Fahmi, ...
MTSR
2007
Springer
15 years 8 months ago
The Human Art of Encoding: Markup as Documentary Practice
This paper describes the Markup Analysis Project, a research initiative of the Information Policy and Practice Research Group at the University of Sydney to investigate frameworks ...
Paul Scifleet, Susan P. Williams, Creagh Cole