2979 search results - page 210 / 596 » Modelling secure multiagent systems |
167
Voted
ENTCS
2010
15 years 6 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
174
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
UNICORE (Uniform Interface to Computer Resources) is a software infrastructure supporting seamless and secure access to distributed resources. UNICORE allows uniform access to dif...
230
click to vote
SACMAT
2009
ACM
16 years 28 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
194
click to vote
APSCC
2008
IEEE
16 years 27 days ago
2008
IEEE
Software systems today often run in malicious environments in which attacks or intrusions are quite common. This situation has brought security concerns into the development of so...
139
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
Sphinx is a cryptographic message format used to relay anonymized messages within a mix network. It is more compact than any comparable scheme, and supports a full set of security...