3420 search results - page 172 / 684 » A Language-Based Approach to Security |
131
click to vote
TC
1998
15 years 4 months ago
1998
—The FRIENDS system developed at LAAS-CNRS is a metalevel architecture providing libraries of metaobjects for fault tolerance, secure communication, and group-based distributed a...
160
click to vote
SMC
2010
IEEE
15 years 2 months ago
2010
IEEE
—A novel capability for modelling and simulating intra- and inter-organizational collaboration in an emergencyresponse domain is presented. This capability combines the prescript...
141
click to vote
DLOG
2010
15 years 2 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...
151
click to vote
IJNSEC
2010
14 years 11 months ago
2010
A connection-chain refers to a mechanism in which someone recursively logs into a host, then from there logs into another host, and so on. Connection-chains represent an important...
138
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...