This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.
7071.5 Operating System Services for Wide-Area Applications - Vahdat (1998)(Correct)
Operating System Services for Wide-Area Applications
by
Mohammad Amin Vahdat
Doctor of Philosophy in Computer Science
University of California, Berkeley
Professor Thomas E. Anderson, Cochair
Pro... / applications including electronic commerce news services br applications including electronic commerce news services digital
6362.7 Viewer's Discretion: Host Security in Mobile Code Systems - Fong (1998)(Correct)
Interpreter
Using an abstract interpreter has been a very popular way of implementing safe and portable
computation. Mobile code languages like Java [53], Safe Tcl [84], Scheme48 [91], and Telescript... / great opportunities for electronic commerce mobile computing and
5368.9 Using Secure Coprocessors - Yee (1994)(Correct)
How do we build distributed systems that are secure? Cryptographic techniques can be used to secure the communications between physically separated systems, but this is not enough: we must be able to ... / security properties. Electronic commerce applications such as br Can real secure electronic commerce applications be built in a
4798.4 Software Agents: A review - Green, Hurst, Nangle, Cunningham.. (1997)(Correct)
this document.
5 unknown Software Agents: A review
27 May 1997
Trinity College Dublin
Broadcom Éireann Research Ltd.
Shaw Green
Leon Hurst
Brenda Nangle
Dr. Pádraig Cunningham
Fergal Somers
Dr. Ri... / Competitive Negotiation in Electronic Commerce br retrieval management electronic commerce education personal
4710.2 Agent-Based Software Engineering - Wooldridge (1997)(Correct)
The technology of intelligent agents and multi-agent systems seems set to radically
alter the way in which complex, distributed, open systems are conceptualized and implemented.
The purpose of this pa... / ranging from INTERNET-based electronic commerce and information gathering
4307.5 Understanding Code Mobility - Fuggetta, Picco, Vigna (1998)(Correct)
The technologies, architectures, and methodologies
traditionally used to develop distributed applications
exhibit a variety of limitations and drawbacks when applied
to large scale distributed setting... / among users. Terms like electronic commerce or Internet phone are br information retrieval or electronic commerce. They play a role in
3998.2 Efficient Scalable Fair Cash with Off-line Extortion Prevention - Petersen, Poupard (1997)(Correct)
Since the invention of blind signatures in 1982 by David Chaum, there
have been many proposals to realize anonymous electronic cash using this
mechanism. Although these systems offer high privacy to t... / electronic communication and electronic commerce grows rapidly. In future br -A Cautionary Note Usenix Electronic Commerce Workshop pages.
3986.3 Coordinating Distributed State in the Internet - Grimm(Correct)
this paper examines several approaches to coordinating distributed
state, identi es their key characteristics, and discusses how they apply to distribution
in the Internet.
Distributed state generally... / such as electronic commerce or electronic br in the Internet such as electronic commerce have direct economical
3941.3 Modelling, Analysis and Prototyping of the ODP Trader using Coloured.. - Tokmakoff (1998)(Correct)
Trading is a fundamentally important aspect in the realisation of Open Object–based Distributed Systems (OOBDS), and has been the joint topic of standardisation by the International Organisation for t... / Community Networking Electronic Commerce and Information br . . Electronic Commerce .
3909.2 The UCSD Active Web - Pasquale (1997)(Correct)
The UCSD Department of Computer Science and Engineering recently submitted a
proposal for large-scale Research Infrastructure funding to the National Science
Foundation. The theme of the proposal is... / resource sharing and electronic commerce between untrusted domains br st USENIX Workshop on Electronic Commerce . M. Bellare R.
3786.1 Seamless and Secure Interoperation of Heterogeneous Distributed.. - Hale (1997)(Correct)
John C. Hale (Ph.D. in Computer Science)
Seamless and Secure Interoperation of Heterogeneous Distributed Objects
(93 pp. - VI Chapters )
Directed by Professor Sujeet Shenoi
(135 words)
Distributed com... / Internet enterprises such as electronic commerce and telemedicine br . Object-oriented electronic commerce model.
3510.1 Distributed Rational Decision Making - Sandholm (1999)(Correct)
Introduction
Automated negotiation systems with self-interested agents are becoming increasingly
important. One reason for this is the technology push of a growing standardized
communication infrastr... / advent of small transaction electronic commerce on the Internet for br B. Whinston. Frontiers of Electronic Commerce. Addison-Wesley
3450.8 Transactions In Transactional Workflows - Worah, Sheth(Correct)
Workflow management systems (WFMSs) are finding wide applicability
in small and large organizational settings. Advanced transaction models
(ATMs) focus on maintaining data consistency and have pro... / increasing need for electronic commerce using standard protocols br the increasing popularity of electronic commerce have led to evolution of
3401.6 Security Protocols and their Properties - Abadi (2000)(Correct)
Specifications for security protocols range from informal narrations of message flows to formal assertions of protocol properties. This paper discusses those specifications, emphasizing authenticity a... / file-system operations or electronic-commerce transactions. Thus this br Second USENIX Workshop on Electronic Commerce Proceedings pages -
3323.1 Solving Optimization Problems Among Selfish Agents - Ronen (2000)(Correct)
v
1 Introduction 1
1.1 Background . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.1 Game theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ... / the second ACM Conference on Electronic Commerce EC- Both papers are br the second ACM Conference on Electronic Commerce EC Both papers are
3318.2 Querying Semi-Structured Data - Abiteboul (1997)(Correct)
The amount of data of all kinds available electronically has increased dramatically in recent years. The data resides in different forms, ranging from unstructured data in file systems to highly struc... / on-line documentations electronic commerce. It is thus essential to
3052.5 Programming Languages for Distributed Applications - Haridi, Van Roy, Brand, Schulte (1998)(Correct)
Much progress has been made in distributed computing in the areas of distribution structure,
open computing, fault tolerance, and security. Yet, writing distributed applications remains difficult
beca... / by means of agents Electronic commerce is possible through secure br common protocols for electronic commerce etc. As a first
2857.6 Secure Coprocessors in Electronic Commerce Applications - Yee, Tygar (1995)(Correct)
Many researchers believe electronic wallets (secure storage devices that maintain account balances) are the solution to electronic commerce challenges. This paper argues for a more powerful model --- ... / Secure Coprocessors in Electronic Commerce Applications Bennet Yee br are the solution to electronic commerce challenges. This paper
2829.7 A Framework for the Development of Wide Area Distributed Applications - Topol (1998)(Correct)
r Marci and her husband Rick for their support and
encouragement and for the wonderful Thanksgiving holidays we shared together.
I thank my fiance, Janet, for her love, support, and patience during t... / Applications . Electronic Commerce Applications br computing domains such as electronic commercehome service applications
2784.5 Automated Theorem Proving In High-Quality Software Design - Schumann(Correct)
Machine
implementation (B orger and Rosenzweig, 1995), proof times of up to two months
have been reported in (Schellhorn and Ahrendt, 1998)
7
.
Hence, one aim of KIV's developers is to use automate... / telephone electronic commerce or space exploration. br e.g.internet electronic commerce wireless telephone
2778.5 Theory Generation for Security Protocols - Kindred, Wing (1999)(Correct)
We introduce theory generation, a new general-purpose technique for performing automated verification.
Theory generation draws inspiration from, and complements, both automated theorem proving
and sym... / and the growing popularity of electronic commerce is leading to increasing br on them even more heavily as electronic commerce continues to expand. This
2764.4 Agent Software for Near-Term Success in Distributed Applications - Laufmann (1995)(Correct)
As the world moves rapidly toward the deployment of geographically and organizationally diverse
computing systems, the technical difficulties associated with distributed, heterogeneous computing
appli... / information systems and electronic commerce are placing new demands on br This is not surprising since electronic commerce must inevitably be based at
2753.2 Security and Communication in Mobile Object Systems - Vitek, Serrano, Thanos (1997)(Correct)
this paper. This research has been carried out within the ASAP project
(Swiss SPP-ICS program grant no 5003-45332).
References unknown Security and Communication in
Mobile Object Systems
Jan Vitek, ... / trustworthy enough for electronic commerce and flexible enough to br the security requirements of electronic commerce. Lack of security fosters a
2742.7 Security in Agent-based Computing Environments Using Existing Tools.. - Krintz(Correct)
Agent-based computing allows efficient utilization of resources and amortizes communication
delay in a distributed system. In a dynamically changing, heterogeneous
environment like the Internet, no as... / to exchange items enabling electronic commerce For example an agent br fair exchange protocols and electronic commerce have been developed for
2691.9 Secure Mobile Code: The JavaSeal experiment - Vitek, Bryce (1999)(Correct)
Mobile agents are programs that move between sites during execution
to benefit from the services and information present at each site. To gain
wide acceptance, strong security guarantees must be given... / Network management and electronic commerce are other promising br In D. Tsichritzis editor Electronic Commerce Objects. University of
2603.1 Using Option Pricing to Value Commitment Flexibility in Multi-agent.. - Katia Sycara (1997)(Correct)
With the explosive growth of internet activity, there will be an increasing reliance on intelligent
software agents for electronic commerce and information retrieval. Such multi-agents
systems will be... / software agents for electronic commerce and information retrieval. br functions electronic commerce electricity
2595.6 Janus: an approach for confinement of untrusted applications - Wagner(Correct)
Security is a serious concern on today's computer networks. Many applications
are not very good at resisting attack, and our operating systems are not very good at
preventing the spread of any intrusi... / entities want to engage in electronic commerce over the net and the value
2577.0 Coordination Of Multiple Intelligent Software Agents - Sycara, Zeng (1996)(Correct)
this paper we present the distributed system architecture, agent collaboration interactions, and a reusable set of software components for structuring agents. The system architecture has three types o... / counseling health care and electronic commerce. Keywords Software br Care the HIN system and Electronic Commerce. The rest of the paper is
2516.0 System Infrastructure for Digital Libraries: A Survey and Outlook - Nikolaou, Marazakis (1998)(Correct)
This paper focuses on technical issues regarding the challenge
of integrating digital libraries in a work support environment that
combines information management with coordination and collaboration... / both digital libraries and electronic commerce. In our view br as digital library systems electronic commerce environments and
2509.8 A Calculus for Cryptographic Protocols - The Spi Calculus - Abadi, Gordon (1998)(Correct)
We introduce the spi calculus, an extension of the pi calculus designed for describing and analyzing cryptographic protocols. We show how to use the spi calculus, particularly for studying authenticat... / for authentication and for electronic commerce. These protocols rely on br such as protocols for electronic commerce. Unfortunately the
2473.5 Interactive exploration of distributed 3D databases over the Internet - Rossignac(Correct)
Introduction
3D models of terrain's, buildings, factories, airplanes, consumer products, human organs, and simulation results are at the
heart of numerous applications that drive major segments of th... / tourism defense medicine electronic commerce and entertainment. br benefit important areas of electronic commerce. They must be easily
2363.1 Edgebreaker: Connectivity compression for triangle meshes - Rossignac (1998)(Correct)
Edgebreaker is a simple scheme for compressing the triangle/vertex incidence graphs (sometimes called connectivity or topology) of three-dimensional triangle meshes. Edgebreaker improves upon the wors... / It promises to revolutionize electronic commerce and many aspects of
2357.3 Object Database Support for Digital Libraries - Abiteboul (1997)(Correct)
In this paper, we discuss some aspects of database support
for digital libraries.
From a DL perspective, database systems, and in particular, object
database systems provide a nice basis for future ... / issues such as payment and electronic commerce. Semistructured Data br on every new publication on electronic commerce with Java in the title
2322.3 Semantic Query Optimization for Query Plans of Heterogeneous.. - Hsu, Knoblock (1999)(Correct)
New applications of information systems, such as electronic commerce and healthcare information
systems, need to integrate a large number of heterogeneous databases over computer
networks. Answering a... / information systems such as electronic commerce and healthcare information
2316.7 Decentralized coordination for open distributed systems - Rasmusson (1997)(Correct)
This paper gives a survey of work on decentralized coordination techniques, unknown Decentralized coordination for open distributed systems
Lars Rasmusson
Swedish Institute of Computer Science, Box 1... / instance in an agent-based electronic commerce system a client is not br in automated negotiation and electronic commerce Extending the contract net
2276.3 Research and Development Challenges for Agent-Based Systems - Ndumu, Nwana (1996)(Correct)
The increasing sophistication of today's information era poses certain challenges to
traditional information technology (IT) systems. Agent-based software technology is rapidly
evolving to meet the de... / retrieval management electronic commerce education personal
2209.8 MAP: Design and Implementation of a Mobile Agents Platform - Puliafito, Tomarchio, Vita (2000)(Correct)
The recent development of telecommunication networks has contributed
to the success of applications such as information retrieval and electronic
commerce, as well as all the services that take advanta... / as information retrieval and electronic commerce as well as all the br to remote databases the Web electronic commerce and in general all those
2195.7 Web Usage Mining: Discovery and Application of Interestin Patterns .. - Cooley (2000)(Correct)
Web Usage Mining is the application of data mining techniques to Web clickstream data in order to extract usage patterns. As Web sites continue to grow in size and complexity, the results of Web Usage... / against data from a large electronic commerce Web site. The results show br such as the type used for electronic commerce a positive means of
2173.2 Agent-based Software Configuration and Deployment - Hall (1999)(Correct)
ions 76
9.1.1.1 Consumer Abstraction 76
9.1.1.2 Software System Abstraction 77
ix
9.1.1.3 Process Abstraction 78
9.1.2 Process Coverage 78
9.1.3 Coordination 79
9.1.4 General Requirements 79
9.2 Mapp... / Security and Privacy . Electronic Commerce . Error Recovery br of scope namely security electronic commerce error recovery and
2143.8 PLEGMA: An Agent-Based Architecture for Developing Network-Centric.. - Kaldoudi, Zikos, Leisch.. (1998)(Correct)
This report presents Plegma, a market-based, network-centric agent architecture to support integrated
information processing services in Intranets and Extranets. The Plegma architecture is inherently ... / and among organizations electronic commerce applications digital br objects for applications of electronic commerce in open markets. We should
2136.6 A Symbiotic Relationship Between Formal Methods and Security - Wing (1998)(Correct)
Security played a significant role in the development of formal methods in the 70s and early 80s. Have
the tables turned? Are formal methods now ready to play a significant role in the development of ... / security authentication electronic commerce. Introduction br protocols and to simplified electronic commerce protocols. Here is a
2122.9 Towards Guaranteed Quality and Dependability of Information Services - Weikum (1999)(Correct)
The impressive advances in global networking and information technology provide
great opportunities for all kinds of ubiquitous information services, ranging
from digital libraries and information dis... / workflows and electronic commerce. However many of these br more mundane things such as electronic commerce Using such
2068.4 Protecting Individuals' Interests in Electronic Commerce Protocols - Wong (2000)(Correct)
Commerce transactions are being increasingly conducted in cyberspace. We not only browse
through on-line catalogs of products, but also shop, bank, and hold auctions on-line.
The general goal of this... / Individuals' Interests in Electronic Commerce Protocols Hao Chi Wong br Keywords Protocols electronic commerce security correctness
2051.5 Interoperability in Large-scale Distributed Information Delivery.. - Liu, Yan, Özsu(Correct)
In this paper we address interoperability issues in large-scale distributed
information delivery systems. Architecturally, we classify existing
approaches and systems into two paradigms: Multidataba... / currently developing for the electronic commerce domain is presented. We br and its Application to Electronic Commerce The AURORA project at
2031.3 The JavaSeal Mobile Agent Kernel - Bryce, Vitek (1999)(Correct)
Mobile agents show promise as a new distributed programming paradigm in which locality plays a central role --- programs that are able to move closer to their data can overcome limitations of connecti... / mobile agent systems. An electronic commerce application built over our
2027.4 Proactive Public Key and Signature Systems - Herzberg, Jakobsson, Jarecki.. (1997)(Correct)
Emerging applications like electronic commerce and secure
communications over open networks have made
clear the fundamental role of public key cryptography
as a unique enabler for world-wide scale sec... / Emerging applications like electronic commerce and secure communications br nature. ffl In electronic commerce schemes a compromised
2025.7 Agents that reason and negotiate by arguing - Parsons, Sierra, Jennings (1998)(Correct)
The need for negotiation in multi-agent systems stems from the requirement
for agents to solve the problems posed by their interdependence upon one another.
Negotiation provides a solution to these ... / email filtering through electronic commerce to large
2021.0 On The Fly Signatures based on Factoring - Poupard, Stern (1999)(Correct)
In response to the current need for fast, secure and cheap
public-key cryptography largely induced by the fast development
of electronic commerce, we propose a new on the
fly signature scheme, i.e. a ... / by the fast development of electronic commerce we propose a new on the br have to be stored e.g. electronic commerce or transmitted e.g. pay
1992.5 A Parametrization of the Auction Design Space - Wurman, Wellman, Walsh (1999)(Correct)
We present an extensive breakdown of the auction design space
that captures the essential similarities and differences of many auction
mechanisms in a format more descriptive and useful than simple
... / play a significant role in electronic commerce. Indeed this might br are for humans engaged in electronic commerce. The literature on
1962.7 YATL: a Functional and Declarative Language for XML - Cluet, Siméon (2000)(Correct)
This paper describes Y AT
L
, a language to query, convert
and integrate XML data. Y AT
L
comes from the database
community: it is not Turing complete, but it captures a large
class of useful data... / ranging from electronic commerce and corporate br T. Milo. Active views for electronic commerce. In Proceedings of
1949.2 Electronic Brokering for Automated Contracting of Software Applets - Robinson (1996)(Correct)
In the new era of electronic commerce, with its efficiency and globalization of communication, the
ability to quickly create mutually beneficial contracts will become a critical success factor for
org... / Abstract In the new era of electronic commerce with its efficiency and br and consumers participate in electronic commerce EC contracting will
1941.1 SuperWeb: Research Issues in Java-Based Global Computing - Alexandrov, Ibel, Schauser, Scheiman (1996)(Correct)
The Internet, in particular the World-Wide-Web, continues to expand at an amazing pace.
We propose a new infrastructure, SuperWeb, to harness global resources, such as CPU cycles or
disk storage, and ... / secure computing electronic commerce encrypted computing br The Millicent Protocols for Electronic Commerce. In First USENIX Workshop
1937.4 Focusing on Mobility - Bergner, Grosu, Rausch, Schmidt.. (1999)(Correct)
In this paper, we motivate the importance of the field of mobile
computing and survey current practical and formal approaches.
We argue that the existing formalisms are not sufficiently
general and po... / as well as smartcard-based electronic commerce applications. In the
1923.4 Secure Dynamic Reconfiguration of Scalable CORBA Systems with Mobile.. - Kon, Gill, Campbell, Mickunas (1999)(Correct)
As various Internet services, electronic commerce, and information and communication systems permeate
our lives, their continual availability becomes a dominant issue. But continuing software evoluti... / As various Internet services electronic commerce and information and br Wide Web. Dierent forms of electronic commerce ranging from airline ticket
1913.5 Web++: A System For Fast and Reliable Web Service - Vingralek, Breitbart, al. (1999)(Correct)
We describe the design of a system for a fast and reliable
HTTP service termed Web++. Web++ achieves high reliability
by dynamically replicating Web data among multiple
Web servers. Web++ selects a se... / Web applications such as electronic commerce and online stock trading.
1864.1 Verification of Control Flow Based Security Properties - Jensen, Métayer, Thorn(Correct)
A fundamental problem in software-based security is whether local security
checks inserted into the code are sufficient to implement a global security
property. We introduce a formalism based on a t... / small example inspired by an electronic commerce application. The br of the model through an electronic commerce example. The JDK .
1862.0 Violation Contexts and Deontic Independence - van der Torre (1999)(Correct)
In this paper we discuss the role of context and independence
in normative reasoning. First, deontic operators -- obligations, prohibitions,
permissions -- referring to the ideal context may conflic... / specify security issues for electronic commerce In this paper we
1849.6 Mole - Concepts of a Mobile Agent System - Baumann, Hohl, Rothermel, Straßer (1997)(Correct)
Due to its salient properties, mobile agent technology has received a rapidly growing attention over the last few years. Many developments of mobile agent systems are under way in both academic and in... / the WWW network management electronic commerce or mobile computing. The br key technology for future electronic commerce applications can only
1843.4 Object-Oriented View Technology: Challenges and Promises - Rundensteiner(Correct)
With object-oriented database (OODB) systems
reaching the status of a maturing technology, increased
attention has been given in recent years to the realization
of view mechanisms in OODBs. Objectorie... / virtual catalogs for electronic commerce. We not only outline our br view concept is tremendous. Electronic commerce and in particular the use
1835.9 Towards Secure Mediation - Biskup, Flegel, Karabulut (1998)(Correct)
A secure mediated information system should support scenarious where dynamically changing information sources advertise their information resources, and application specific mediators collect and asse... /
1833.1 Robust State Sharing for Wide Area Distributed Applications - Topol (1998)(Correct)
In this article, we present the Mocha wide area computing infrastructure we are currently
developing. Mocha provides support for robust shared objects on heterogeneous platforms,
and utilizes advanced... / future applications such as electronic commerce e.g.service to the home br area distributed computing. Electronic commerce applications such as
1779.9 The SGF Metadata Framework and its Support for Social Awareness on.. - Liechti, Sifer, Ichikawa (1999)(Correct)
In this article, we first briefly introduce the idea of metadata and explain how it is transforming the Web into an
information space that can be accessed not only by humans, but also by software agen... / about the WWW Electronic commerce is a particular application br application domains such as electronic commerce and distance education soon
1777.7 A Unified Approach for Mining Outliers - Knorr, Ng(Correct)
This paper deals with finding outliers (exceptions)
in large datasets. The identification of
outliers can often lead to the discovery of truly
unexpected knowledge in areas such as electronic
commerce... / knowledge in areas such as electronic commerce credit card fraud and br of criminal activities in electronic commerce and the analysis of
1771.1 MIRROR: A State-Conscious Concurrency Control Protocol for Replicated .. - Ming Xiong (1998)(Correct)
Data replication can help database systems meet the
stringent temporal constraints of current time-critical applications,
especially Internet-based services. A prerequisite,
however, is the developmen... / of directory data-feed and electronic commerce services that have become br information provision and electronic commerce stringent consistency
1767.6 Recent-Secure Authentication: Enforcing Revocation in Distributed.. - Stubblebine (1995)(Correct)
A general method is described for formally specifying
and reasoning about distributed systems with any
desired degree of immediacy for revoking authentication.
To effect revocation, `authenticating en... / and authorization for electronic commerce. A characteristic of br characteristic of universal electronic commerce is that clients and
1765.1 The Design and Implementation of a Secure Auction Service - Franklin, Reiter (1995)(Correct)
We present the design and implementation of a distributed service for performing sealed-bid auctions. This service provides an interface by which clients, or "bidders", can issue secret bids to the se... / Byzantine failures electronic commerce sealed-bid auctions br to guide the transition to electronic commerce e.g.
1750.5 Bid Evaluation and Selection in the MAGNET Automated Contracting.. - Steinmetz, Collins, Jamison.. (1999)(Correct)
We present an approach to the bid-evaluation problem in
a system for multi-agent contract negotiation, called MAGNET. The
MAGNET market infrastructure provides support for a variety of types
of tran... / The combination of electronic commerce and autonomous intelligent br of objects that can support electronic commerce in a variety of domains
1739.0 Privacy Preserving Auctions and Mechanism Design - Naor, Pinkas, Sumner (1999)(Correct)
We suggest an architecture for executing protocols for auctions
and, more generally, mechanism design. Our goal is
to preserve the privacy of the inputs of the participants (so
that no nonessential in... / rd USENIX Workshop on Electronic Commerce pp. - . Q. br rd USENIX Workshop on Electronic Commerce . Luby M.
1733.6 NIST Special Publication 800-19 - Mobile Agent Security - Jansen, Karygiannis (2000)(Correct)
Mobile agent technology offers a new computing paradigm in which a
program, in the form of a software agent, can suspend its execution on a host computer,
transfer itself to another agent-enabled ho... / . . Electronic Commerce br typical scenarios. . . Electronic Commerce Mobile agent-based
1711.8 Lightweight Micro-Cash for the Internet - Wenbo Mao (1996)(Correct)
We propose a micro-cash technique based on a one-time signature
scheme: signing a message more than once leads to disclosure
of the signer's private key. In addition to usual cash properties such as... / for double spender Internet electronic commerce. Introduction br forms a new dimension in electronic commerce. It is believed that
1710.0 A Logic-based Knowledge Representation for Authorization with.. - Li, al. (1999)(Correct)
We introduce Delegation Logic (DL), a logic-based knowledge representation
(i.e., language) that deals with authorization in large-scale, open, distributed systems. Of
central importance in any syst... / privacy protection Electronic commerce is one class of services in
1708.8 Mini-Cash: A Minimalistic Approach to E-Commerce - Jakobsson (1999)(Correct)
By introducing a new e-commerce paradigm - that of disposable anonymous
accounts - we are able to reduce storage requirements, while protecting
against strong attacks on the system, and keeping comp... / research in the area of electronic commerce pushes the knowledge br attention given to electronic commerce both of these frontiers
1706.9 State of the Art in Electronic Payment Systems - Asokan, Janson, Steiner, Waidner (1999)(Correct)
This paper provides an overview of electronic payment systems, focusing on issues related to security. unknown State of the Art in Electronic Payment Systems
N. Asokan
Nokia Research Center, Helsink... / security measures widespread electronic commerce is not viable. On the other br Engineering Task Force and Electronic Commerce Modeling Language
1705.0 Real-Time Index Concurrency Control - Haritsa, Seshadri (1996)(Correct)
Real-time database systems are expected to rely
heavily on indexes to speed up data access and thereby help
more transactions meet their deadlines. Accordingly, highperformance
index concurrency contr... / Such applications include electronic commerce stock trading mobile
1697.0 Fair Exchange with a Semi-Trusted Third Party (Extended Abstract) - Franklin, Reiter (1997)(Correct)
We present new protocols for two parties to exchange
documents with fairness, i.e., such that no party can gain
an advantage by quitting prematurely or otherwise misbehaving.
We use a third party that... / of our techniques to electronic commerce protocols to achieve fair br are addressed in some electronic commerce protocols by adding random
1694.5 Mobile Objects and Agents (MOA) - Milojicic, LaForge, Chauhan (1998)(Correct)
This paper describes the design and implementation of the Mobile Objects and Agents (MOA) project at the Open Group Research Institute. MOA was designed to support migration, communication and control... / such as networks Electronic commerce deploys mobile agents by br Ford W.Baum M.Secure Electronic Commerce Prentice Hall New
1692.0 The Role of Obligations in Multiagent Coordination - Barbuceanu (1999)(Correct)
Carrying out distributed business processes over networks is rapidly
shifting the nature of application architectures from the simple command
and control client-server model to complex peer-to-peer mo... / in telecommunications electronic commerce etc. require capabilities
1690.4 Data Resource Selection in Distributed Visual Information Systems - Chang (1998)(Correct)
With the advances in multimedia databases and the popularization of the Internet, it is now possible to access large image and video repositories distributed throughout the world. One of the challengi... / information retrieval to electronic commerce. In a typical scenario a
1684.3 Verifiable Transaction Atomicity For Electronic Payment Protocols - Tang (1996)(Correct)
We study the transaction atomicity problem for designing electronic payment protocols in distributed systems. We observe that the techniques that are used to guarantee transaction atomicity in a datab... / failures. With the advent of electronic commerce monetary transactions are br of st USENIX workshop on Electronic Commerce July . P.
1684.0 Evolving Databases: An Application to Electronic Commerce - Fordham, Abiteboul, Yesha (1997)(Correct)
Many complex and dynamic database applications
such as product modeling and negotiation monitoring
require a number of features that have been adopted
in semantic models and databases such as active r... / Databases An Application to Electronic Commerce Bradley Fordham Serge br model Keywords-electronic commerce evolving algebra. I.
1676.2 Accountability in Electronic Commerce Protocols - Kailar (1996)(Correct)
In most commercial and legal transactions, the
ability to hold individuals or organizations accountable for
transactions is important. Hence, electronic protocols that
implement commercial transaction... / Accountability in Electronic Commerce Protocols Rajashekar br protocol design for electronic commerce is done in an ad-hoc
1662.1 D20 - Project final report and results of trials - Nature Of Deliverable(Correct)
This deliverable contains an evaluation of the results of the trials and
feedback from the demonstrations. It also contains all the publicly
available major results of the project.
Keywords
ACTS
... / Certificates Cryptography electronic commerce EXODUS fraud detection br Association Workshop on Electronic Commerce November pp - .
1659.7 Coordination Among Agents Using Reactive Rules - Berndtsson, Chakravarthy, Lings (1996)(Correct)
Coordination and collaboration are naturally used by groups for carrying out activities
and solving problems that require cooperation. However, getting a set of computer agents
to do that same has bee... / e.g. in business processes electronic commerce logistics Not br A number of problems in electronic commerce office environments
1643.4 Atomicity in Electronic Commerce - Tygar (1996)(Correct)
There is tremendous demand for the ability to be able to
electronically buy and sell goods over networks. This
field is called electronic commerce, and it has inspired a
large variety of work. Unfortu... / compensate copyright owners. Electronic commerce is an attempt to address br of the excitement over electronic commerce the June issue of
1640.1 Systematic Hypermedia Design - Balasubramanian (1996)(Correct)
Hypermedia structuring and navigation requires design methodologies different from those
developed for standard information systems. This article details our successful application of
Relationship Man... / Systems the Journal of Electronic Commerce and as a special issue
1636.7 Introducing Trusted Third Parties to the Mobile Agent Paradigm - Wilhelm, Staamann, Buttyán (1999)(Correct)
The mobile agent paradigm gains ever more acceptance for the creation of distributed applications, particularly in the domain of electronic commerce. In such applications, a mobile agent roams the glo... / in the domain of electronic commerce. In such applications a br agents seem well adapted is electronic commerce. A typical use of mobile
1636.7 Delegation Logic: A Logic-based Approach to Distributed Authorization - Li (2000)(Correct)
We address the problem of authorization in large-scale, open, distributed systems.
Authorization decisions are needed in electronic commerce, mobile-code execution,
remote resource sharing, content ad... / decisions are needed in electronic commerce mobile-code execution br Such scenarios include electronic commerce execution of downloadable
1625.2 Software Engineering Issues for Network Computing - Ghezzi, Vigna(Correct)
The Internet is becoming the infrastructure upon which an
increasing number of new applications are being developed. These applications
allow new services to be provided and even new business areas
... / possible. For example electronic commerce may revolutionize the way
1619.1 Edgebreaker: Compressing the incidence graph of triangle meshes - Rossignac (1998)(Correct)
Edgebreaker is a simple scheme for compressing the triangle/vertex incidence graphs (sometimes called topology) of threedimensional
triangle meshes. Edgebreakerimproves upon the worst case and the exp... / It promises to revolutionize electronic commerce and many aspects of
1613.0 Evidence and Non-repudiation - Zhou, Gollmann (1997)(Correct)
The ultimate purpose of a non-repudiation service is to resolve disputes about
the occurrence or non-occurrence of a claimed event or action. Dispute resolution
relies on the evidence held by the part... / handling systems and in electronic commerce. The two message handling br The central issue in electronic commerce is how to accomplish
1610.8 Distance-based outliers: algorithms and applications - Knorr, Ng, Tucakov (2000)(Correct)
This paper deals with finding outliers (exceptions)
in large, multidimensional datasets. The identification
of outliers can lead to the discovery of truly
unexpected knowledge in areas such as elect... / knowledge in areas such as electronic commerce credit card fraud and br of criminal activities in electronic commerce. For example in Internet
1609.6 Modelling a Public-Key Infrastructure - Maurer (1996)(Correct)
A global public-key infrastructure (PKI), components of which are emerging in the near future, is a prerequisite for security in distributed systems and for electronic commerce. The purpose of this ... / distributed systems and for electronic commerce. The purpose of this paper br distributed systems and for electronic commerce. While the basic mechanism
1608.8 Ontologies: Silver Bullet for Knowledge Management and Electronic.. - Fensel(Correct)
Currently computers are changing from single isolated devices to entry
points into a world wide network of information exchange and business
transactions called the World Wide Web (WWW). Therefore... / for Knowledge Management and Electronic Commerce Abstract. Currently br knowledge management and in electronic commerce. In addition I show how
1608.0 Security of Blind Digital Signatures (Extended Abstract) - Juels, al.(Correct)
Ari Juels
1?
Michael Luby
2
Rafail Ostrovsky
3
1
RSA Laboratories. Email: ari@rsa.com.
2
Digital Equipment Corporation, 130 Lytton Avenue, Palo Alto, CA 94301-1044.
Email: luby@pa.dec.com.
... / address the broad issues of electronic commerce but concentrate our
1600.2 On Designing a Language for Electronic Commerce - Michael Covington(Correct)
This paper surveys practical issues in the design of a formal language for
business communication (FLBC) in which transactions are put together by
combining meaningful elements, much as a programming ... / On Designing a Language for Electronic Commerce Michael A. Covington br in International Journal of Electronic Commerce Abstract This paper
1585.8 Model Checking for Security Protocols - Marrero, Clarke, Jha (1997)(Correct)
As more resources are added to computer networks, and as more vendors look to the World Wide Web as
a viable marketplace, the importance of being able to restrict access and to insure some kind of acc... / that in applications such as electronic commerce it is accountability and br complex protocols including electronic commerce protocols. References
1584.8 Improved Magic Ink Signatures Using Hints - Jakobsson, Müller (1999)(Correct)
We introduce two improvements to the recently proposed so called magic ink DSS signatures. A first improvement is that we reduce the overhead for tracing without noticeably increasing any other cost... / magic ink DSS hints electronic commerce Introduction Many br in research in the area of electronic commerce has therefore been to find
1579.0 Towards a Theory of Cost Management for Digital Libraries - Prasad Sistla Ouri(Correct)
One of the features that distinguishes digital libraries from traditional databases is new cost models for
client-access to intellectual property. Clients will pay for accessing data items in digital ... / make digital libraries and electronic commerce widely accepted and used br al.Strategic Directions in Electronic Commerce and Digital Libraries
1578.5 Draft material for Edition 3 of Distributed Systems - Concepts and.. - Coulouris (2000)(Correct)
Introduction
7.2 Overview of security techniques
7.3 Cryptographic algorithms
7.4 Digital signatures
7.5 Case studies
Draft material for Edition 3 of Distributed Systems
-- Concepts and Design
... / security in various simple electronic commerce scenarios illustrating the br But it isn't appropriate for electronic commerce or other wide-area
1572.3 Synthesizing Coordination Requirements for Heterogeneous Autonomous.. - Singh (2000)(Correct)
As agents move into ever more important applications, there is a natural growth in interest in techniques
for synthesizing multiagent systems. We describe an approach for engineering the coordinatio... / suited to applications in electronic commerce virtual enterprises and
1558.2 Towards A Secure Agent Society - He, Sycara (1998)(Correct)
We present a general view of what a "secure agent society" should be and how to develop
it rather than focus on any specific details or particular agent-based application. We
believe that the main eff... / real application system for electronic commerce you would immediately br active and bigger role in electronic commerce. To be adopted into soft
1557.9 Paris Metro Pricing for the Internet - Odlyzko (1998)(Correct)
A simple approach, called PMP (Paris Metro Pricing), is suggested for providing differentiated
services in packet networks such as the Internet. It is to partition a network into several
logically s... / will be increasing as electronic commerce grows differentiated br play an increasing role in electronic commerce. Decreasing marginal costs
1555.1 The Layered Agent Pattern Language - Kendall, Pathak, Krishna, Suresh (1997)(Correct)
Factory and Factory Method patterns [11] are used together to form the Plan and Intention Factory, as shown in Figure 5. The PlanFactory is abstract; it provides the interface to create the ActionPlan... / most of them deal with electronic commerce over the Internet but
1552.9 Secure High Performance Group Communication - McDaniel (1997)(Correct)
1 Introduction
The growth in collaborative applications has mirrored the expansion of distributed networks. Group
based applications provide users more flexibility in the form and content of computer... / and video conferencing and electronic commerce applications have lead to
1551.3 Anonymity Control in E-Cash Systems - Davida, Frankel, Tsiounis, Yung (1997)(Correct)
Electronic cash, and other cryptographic payment systems,
offer some level of user anonymity during a purchase, in order to emulate
electronically the properties of physical cash exchange. However, ... / a hurdle to the progress of electronic commerce. The conceptual br of trusted third parties in electronic commerce October . Available
1531.8 Itinerant Agents for Mobile Computing - Chess, Grosof, Harrison, Levine.. (1995)(Correct)
This paper describes an abstract framework for itinerant agents that can be used to implement secure, remote applications in large, public networks such as the Internet or the IBM Global Network. Itin... / Languages Network Services Electronic Commerce Information Retrieval br will in effect be performing electronic commerce. This requires us to
1529.2 Supporting the Negotiation Life-Cycle - Robinson, Volkov(Correct)
This article describes processes, products, and perspectives of the negotiation life cycle and
applies this framework to show: (1) how different life cycle phases have different support
requirements, ... / tools software agents and electronic commerce systems. Where a group
1525.1 Athena: a New Efficient Automatic Checker for Security Protocol.. - Song(Correct)
We propose an efficient automatic checking algorithm, Athena, for analyzing security protocols. Athena incorporates a logic that can express security properties including authentication, secrecy and p... / and properties related to electronic commerce. We have developed an br and properties related to electronic commerce. We have also developed an
1523.3 Foundations Of Time-Critical Scalable Computing - McColl(Correct)
The BSP model provides a unified framework for the design and programming of scalable servers
for time-critical computing. This paper describes some of the recent developments in the area of
BSP compu... / the organisation. Online electronic commerce is now clearly emerging as
1514.1 Class-based Cache Management for Dynamic Web Content - Huican Zhu And (2000)(Correct)
Caching dynamic pages at a server site is beneficial in reducing server resource demands and it also
helps dynamic page caching at proxy sites. Previous work has used fine-grain dependence graphs amo... / new types of services such as electronic commerce and personalized
1498.1 Ajanta - A System for Mobile Agent Programming - Tripathi, Karnik, Vora, Ahmed(Correct)
This paper gives an overview of Ajanta, a Java-based system for mobile agent programming.
We discuss the Ajanta architecture, and elaborate on the mechanisms used to provide object
mobility, and secur... / and retrieval and for electronic commerce on the Web thus acting as
1490.4 Multiple-Issue Auction and Market Algorithms for the World Wide Web - Teich, Wallenius, Wallenius (1998)(Correct)
The Internet is quickly changing the way business-to-consumer and business-tobusiness
commerce is conducted in the world. The Electronic Revolution has also
spawned a trend of price wars and, in some ... / Modeling World-Wide-Web Electronic Commerce Computer-mediated br of the world-wide-web for electronic commerce. An example of a previously
1481.4 Mobile Agent Programming in Ajanta - Anand Tripathi (1999)(Correct)
This paper gives an overview of Ajanta, a Java-based
system for mobile-agent programming. We outline the
Ajanta architecture, and discuss the basic elements that
comprise an agent-based application. A... / and retrieval or for electronic commerce on the Web thus acting as
1466.0 Semiotes: a Semantics for Sharing - Kazic (2000)(Correct)
Reliable, automated communication of biological information requires methods to declare
the information's semantics. In this paper I describe an approach to semantic declaration
intended to permit i... / such as from electronic commerce to biology. Semantic
1459.5 X-Cash: Executable Digital Cash (Extended Abstract) - Jakobsson, al.(Correct)
Markus Jakobsson
1
Ari Juels
2
1
Information Sciences Research Center, Bell Laboratories
Murray Hill, NJ 07974
markusj@research.bell-labs.com
2
RSA Laboratories
Bedford, MA 01730
ari@rsa... / in the research area of electronic commerce have been visible. Starting br is the main driving force of electronic commerce-namely one in which there
1450.6 RSA-Based Undeniable Signatures - Gennaro, Krawczyk, Rabin (1996)(Correct)
We present the first undeniable signatures scheme based on RSA. Since their introduction in 1989 a significant amount of work has been devoted to the investigation of undeniable signatures. So far, th... / aspects of the evolving electronic commerce world is well recognized.
1444.7 Enforceable Security Policies - Schneider (1998)(Correct)
A precise characterization is given for the class of security policies enforceable with mechanisms that work by monitoring system execution, and automata are introduced for specifying exactly that cla... / have been read. To support electronic commerce a security policy might br illustration we turn to electronic commerce. We might for example
1444.2 A Method for Automatic Cryptographic Protocol Verification - Goubault-Larrecq (2000)(Correct)
We present an automatic, terminating method for verifying confidentiality
properties, and to a lesser extent freshness properties of cryptographic
protocols. It is based on a safe abstract interpr... / domains pushed notably by electronic commerce in banking terminals br to the more complex case of electronic commerce protocols where not only
1443.2 Active Mining in a Distributed Setting - Parthasarathy, Dwarkadas, Ogihara(Correct)
Most current work in data mining assumes that the data
is static, and a database update requires re-mining both
the old and new data. In this article, we propose an alternative
approach. We outline a ... / in applications such as electronic commerce and stock sequence br in In many domains electronic commerce credit card transactions
1443.0 A Scalable Key Distribution Hierarchy - McDaniel, Jamin (1998)(Correct)
As the use of the Internet for electronic commerce, audio
and video conferencing, and other applications with sensitive
content grows, the need for secure services becomes
critical. Central to the suc... / the use of the Internet for electronic commerce audio and video
1441.7 Scalable Invalidation-Based Processing of Queries in Broadcast Push.. - Pitoura(Correct)
Recently, push-based delivery has attracted considerable attention as a means of
disseminating information to large client populations in both wired and wireless environments.
In this paper, we addres... / cable TV. Important are also electronic commerce applications such as
1421.6 Agent Trustworthiness - Kassab, Voas (1998)(Correct)
Agent-based technology could revolutionize the manner by which distributed computation is performed.
The fact that the information returned by an agent to the agent owner cannot be validated by the ow... / communication business and electronic commerce has fostered the growing
1417.6 On the Impossibility of Fair Exchange without a Trusted Third Party - Pagnia, Gärtner (1999)(Correct)
We attempt to formally define the strong fair exchange problem and present a proof that it is
impossible to solve strong fair exchange without a trusted third party. The proof is established by
relati... / consensus decision problems electronic commerce fair exchange strong br used in the field of electronic commerce Asokan There
1415.2 An Update Semantics for Prima Facie Obligations - van der Torre, Tan (1998)(Correct)
The deontic logic dus is a deontic update
semantics for prescriptive obligations based on the update semantics
of Veltman. In dus the definition of logical validity of
obligations is not based on st... / in particular for electronic commerce and the relation
1408.3 FindOut: Finding Outliers in Very Large Datasets - Yu, Sheikholeslami, Zhang (1999)(Correct)
Signal processing techniques have been introduced to transform images for image
enhancement, filtering and restoration, analysis, and reconstruction. In this paper, we
apply signal processing techniqu... / knowledge in areas such as electronic commerce exceptions bankruptcy
1408.0 An HTTP-based Infrastructure for Mobile Agents - Lingnau, Drobnik, Dömel (1995)(Correct)
Mobile agents are an emerging technology attracting interest from the fields of distributed systems, information retrieval, electronic commerce and artificial intelligence. We present an infrastruct... / information retrieval electronic commerce and artificial br include active documents electronic commerce a hot topic in itself as
1406.4 Towards a Common Infrastructure for Large-Scale Distributed.. - Nikolaou, Marazakis, Papadakis..(Correct)
This paper discusses the requirements of current and emerging large-scale distributed
applications and emphasizes the need for a common infrastructure to support them.
A design for an infrastructure t... / as digital library systems electronic commerce environments scientific br retrieval tools. An electronic commerce environment can also
1405.7 Managing Use Cases During Goal-Driven Requirements Engineering.. - Antón, Dempster, Siege (2000)(Correct)
Use cases and scenarios have emerged as prominent analysis tools during requirements engineering activities due to both their richness and informality. In some instances, for example when a project's ... / requirements traceability electronic commerce. I.INTRODUCTION br activities for an electronic commerce application. In Section II
1401.4 Capability-Based Primitives for Access Control in Object-Oriented.. - Hale, Threet, Shenoi (1998)(Correct)
Access control is the cornerstone of information security and integrity, but the semantic diversity of object models makes it difficult to provide a common foundation for access control in objectorien... / Figure Object-oriented electronic commerce model. subjects br object-oriented model of an electronic commerce system shown in Figure .
1399.5 Class-Oriented Page Invalidation for Caching Dynamic Web Content - Zhu, Yang(Correct)
Caching dynamic pages at a server is beneficial in reducing server resource demands and it also helps dynamic
page caching at proxy sites. Previous work has used fine-grain dependence graphs among in... / new types of services such as electronic commerce and personalized
1394.2 Semantic Metadata for the Integration of Web-based Data for.. - Bornhövd (1999)(Correct)
Today, the Internet can be seen as a global marketplace populated by a huge number of providers and consumers that exchange data from a wide range of domains. A combination of data from different sour... / of Web-based Data for Electronic Commerce Christof Bornhovd DVS br goods. In all these forms of electronic commerce we can identify common
1393.7 SubScribe: Secure and Efficient Data Delivery/Access Services in a.. - Datta, Celik, Wright, Biliris (1998)(Correct)
Push" technology (also referred to as broadcast or multicast
technology) is gaining rapid acceptance as one of the most important
enabling technologies for large scale information delivery, transform... / and realtime risk analysis electronic commerce document delivery over the br setting. Introduction Electronic commerce has received much
1385.3 VHDBS: A Federated Database System for Electronic Commerce - Holtkamp, al.(Correct)
During a German Telekom industrial research project, we designed and developed the
VHDBS system, a federated database system for integrating information from pre-existing
and legacy databases. We are ... / Federated Database System for Electronic Commerce Abstract During a
1378.1 Key Differences between HTTP/1.0 and HTTP/1.1 Work Project No.. - Date Decemeber(Correct)
this paper we describe the major changes between the HTTP/1.0 and HTTP/1.1 protocols.
While some attempts have been made to document the differences between these protocols ( unknown
ATT Labs - Rese... / many Web applications electronic commerce for example cannot. . br Web site operator such as an electronic commerce business that depends on
1375.9 The WISE approach to Electronic Commerce - Lazcano, Alonso, Schuldt, Schuler (2000)(Correct)
The growing interest in Electronic Commerce practices has lead to a wide variety of models trying to
capture the subtleties and complexities of the electronic marketplace. In this paper, we discuss a... / The WISE approach to Electronic Commerce A. Lazcano G. Alonso H. br The growing interest in Electronic Commerce practices has lead to a
1365.4 What Workflow Technology Can Do For Electronic Commerce - Muth, Weissenfels, Weikum (1998)(Correct)
Electronic Commerce (EC) is a rapidly growing research and development area of very high practical relevance. A major challenge in successfully designing EC applications is to identify existing buildi... / Technology Can Do For Electronic Commerce Peter Muth Jeanine br Abstract Electronic Commerce EC is a rapidly
1364.6 Non-Photorealistic Virtual Environments - Klein, Li, Kazhdan, Correa.. (2000)(Correct)
We describe a system for non-photorealistic rendering (NPR) of
virtual environments. In real time, it synthesizes imagery of
architectural interiors using stroke-based textures. We address the
four ma... / computer-aided design electronic commerce and entertainment. While
1362.2 Model Checking Electronic Commerce Protocols (Extended Abstract) - Heintze, al.(Correct)
Nevin Heintze J. D. Tygar Jeannette Wing H. C. Wong
Bell Laboratories Carnegie Mellon Univ. Carnegie Mellon Univ. Carnegie Mellon Univ.
Murray Hill, NJ 07974 Pittsburgh, PA 15213 Pittsburgh, PA 152... / Model Checking Electronic Commerce Protocols Extended br is a prime concern for electronic commerce protocols. How can we show
1358.2 Approaches to winner determination in combinatorial auctions - Sandholm(Correct)
Combinatorial auctions, i.e. auctions where bidders can bid on combinations of
items, tend to lead to more efficient allocations than traditional auctions in multiitem
auctions where the agents' valua... / we discuss eMediator our electronic commerce server which implements br multiagent system electronic commerce server. Introduction
1349.2 A Survey of Multi-Agent Interaction Techniques and Protocols - Ong, Ng (1998)(Correct)
In a multi-agent system, interactions occur among similar or different agents
within the same or different environment. Such interactions are needed to achieve
the task required by the user or the goa... / applications in areas such as electronic commerce for negotiation web br methods exist in today's electronic commerce system. For example the
1346.4 Financial Transaction Models in the Electronic World - Wenbo Mao(Correct)
We present a cryptographic protocol for securing electronic commerce
over the Internet. The protocol reflects existing transaction models in
two respects: (1) it uses only traditional parties to compl... / protocol for securing electronic commerce over the Internet. The br of these properties for electronic commerce over the Internet.