5252 search results - page 245 / 1051 » Logic in Access Control |
410
click to vote
SACMAT
2011
ACM
14 years 10 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deļ¬...
199
click to vote
ENTCS
2011
15 years 2 months ago
2011
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logicās ļ¬ner control on structural rules, i...
225
click to vote
VTC
2010
IEEE
15 years 5 months ago
2010
IEEE
āThe IEEE 1609.4 standard has been proposed to provide multi-channel operations in wireless access for vehicular environments (WAVE), where all the channels are periodically sync...
190
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
In [13], Yen deļ¬nes a class of formulas for paths in Petri nets and claims that its satisļ¬ability problem is EXPSPACE-complete. In this paper, we show that in fact the satisļ¬...
215
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
ā Given a robot model and a class of admissible environments, this paper provides a framework for automatically and veriļ¬ably composing controllers that satisfy high level task...