2979 search results - page 384 / 596 » Modelling secure multiagent systems |
139
click to vote
FSTTCS
2003
Springer
15 years 9 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
117
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we describe a mainframe access control system (DENT) and its associated delegated administration tool (DSAS) that were used in a financial institution for over 20 y...
131
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...
136
click to vote
SAFECOMP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
143
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— As content delivery to wireless devices becomes faster and scalable, it is likely that mobile commerce will constitute a significant portion of digital commerce. In markets, b...