Search Sciweavers | Sciweavers

886 search results - page 50 / 178

» Modal logic and invariance

click to vote

MMMACNS
2005
Springer

168views Information Technology» more MMMACNS 2005»

A Modal Logic for Role-Based Access Control

14 years 3 months ago

Download www.cis.syr.edu

Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...

Thumrongsak Kosiyatrakul, Susan Older, Shiu-Kai Ch...

claim paper

Read More »

click to vote

DLOG
2006

143views Automated Reasoning» more DLOG 2006»

Model checking the basic modalities of CTL with Description Logic

13 years 11 months ago

Download ftp.informatik.rwth-aachen.de

Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...

Shoham Ben-David, Richard J. Trefler, Grant E. Wed...

claim paper

Read More »

click to vote

ICTAI
2009
IEEE

160views Artificial Intelligence» more ICTAI 2009»

Managing Authorization Provenance: A Modal Logic Based Approach

14 years 4 months ago

Download www.cit.uws.edu.au

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

claim paper

Read More »

click to vote

FROCOS
2009
Springer

110views Control Systems» more FROCOS 2009»

Axiomatization and Completeness of Lexicographic Products of Modal Logics

14 years 4 months ago