591 search results - page 14 / 119 » Securing the Broker Pattern |
CCS
2008
ACM
13 years 10 months ago
2008
ACM
We present a new verification algorithm for security protocols that allows for unbounded verification, falsification, and complete characterization. The algorithm provides a numbe...
BTW
2003
Springer
14 years 1 months ago
2003
Springer
Dissemination systems are used to route information received from many publishers individually to multiple subscribers. The core of a dissemination system consists of an efficient...
IEEEARES
2010
IEEE
14 years 27 days ago
2010
IEEE
Almost every company needs to process invoices to either claim money from their customers or to pay for products or services. Although companies are allowed to electronically proce...
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
As computer systems are essential components of many critical commercial services, the need for secure online transactions is now becoming evident. The demand for such application...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
We describe a new smart meeting room system called EasyMeeting that explores the use of FIPA agent technologies, Semantic Web ontologies, logic reasoning, and security and privacy...