4469 search results - page 4 / 894 » A Language for Role Specifications |
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
The RBAC96 access control model has been the basis for extensive work on role-based constraint specification and role-based delegation. However, these practical extensions can als...
VL
2003
IEEE
14 years 20 days ago
2003
IEEE
At the beginning stage of programming education, comprehending program logics plays a more important role than capturing knowledge of a specific program language. In this paper, t...
ENTCS
2000
13 years 7 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
ELPUB
1998
ACM
13 years 11 months ago
1998
ACM
One of the often overlooked aspects of the today’s electronic information spread is that not all people use the Latin alphabet for writing, and even those who use it do not use ...
LREC
2010
13 years 8 months ago
2010
This paper describes changing needs among the communities that exploit language resources and recent LDC activities and publications that support those needs by providing greater ...