IEEE Transactions on Services Computing
IEEE Transactions on Services Computing (TSC) is a journal that focuses on research on the algorithmic, mathematical, statistical and computational methods that are central in services computing; the emerging field of Service Oriented Architecture, Web Services, Business Process Integration, Solution Performance Management, Services Operations and Management. Read more about TSC
Expand your horizons with Colloquium, a monthly survey of abstracts from all CS transactions! Replaces OnlinePlus in January 2017.
From the January/February 2017 issue
On the Verification of Opacity in Web Services and Their Composition
By Amina Bourouis, Kais Klai, Nejib Ben Hadj-Alouane, and Yamen El Touati
Web service (WS) providers need to restrain access to private information when cooperating with business partners. This need is translated in practice by an abstraction phase where inner data is withheld from public view. However, just like hiding encryption keys is not enough to prove the secrecy of information in a communication protocol, this procedure cannot prove the goal of secrecy is attained. Security related literature has turned in the past couple of decades to a new, formal, security property, i.e., opacity, to both hide and prove the privacy of secrets. Following our previous work on the use of the Symbolic Observation Graph (SOG), on one hand, to abstract and compose Web services, and to verify the opacity of systems on the other, we show in this paper how the verification of three different types of opacity in SOG-abstracted WSs is translated to the opacity of their composites. We hence establish that the SOG is a suitable abstraction that allows to check these opacity variants locally to each component of a composite WS, and preserves opacity by composition (i.e., each WS component is opaque iff the composite WS is).
Editorials and Announcements
- We are pleased to announce that James Joshi, a professor in the School of Information Sciences at the University of Pittsburgh, USA, has been named the new Editor-in-Chief of the IEEE Transactions on Services Computing starting in 2017.
- Get Your Journals as eBooks for Free
- Congrats to TSC's Editor-in-Chief, Ling Liu, on winning the 2012 IEEE Computer Society Technical Achievement Award!
- Editorial: A Message from the New Editor-in-Chief (Jan/Feb 2017)
- Serving the Services Computing Community (Jan/Feb 2017)
- Editorial: Services Computing in 2016 (Jan/Feb 2016)
- Editorial: Service Computing in 2015 (Jan/Feb 2015)
- Editorial: Service Computing in the Next Seven Years (Oct-Dec 2014)
- Editorial: A Message from the Editor-in-Chief (Apr-June 2013)
- Introduction of new Associate Editors (Jan-Mar 2013)
- Editorial: A message from the new Editor-in-Chief (Jan-Mar 2013)
- Editorial: Farewell and Introduction to the New Editor-in-Chief (Jan-Mar 2013)
- Editorial: Moving to the Fifth Year of TSC (Jan-Mar 2012)
- Advances in Web Services Research (Jan/Feb 2017)
- Special Issue on Cyber-Physical Systems and Services (March/April 2016)
- Special Issue on Big Data Analytics, Infrastructure, and Applications (Jan/Feb 2016)
- Recommendation Techniques for Services Computing and Cloud Computing (May/June 2015)
- Emerging Web Services (May/June 2015)
- Special Issue on Clouds for Social Computing (July-Sept 2014)
- Special Section on Social and Economic Computing (Apr-June 2013)
- Special Issue on Cloud Computing (Oct-Dec 2012)
- Special Section on Enforcement and Management in Services Computing (Apr-Jun 2012)
Call for Papers
- Special Issue on Cloud Computing for Big Data Applications (PDF)
Submission Deadline: June 15, 2017.
- Special Issue on Fog Computing and Services (PDF)
Submission Deadline: October 31, 2017.
Access Recently Published TSC Articles
Subscribe to the RSS feed of latest TSC content added to the digital library.
Sign up for the Transactions Connection Newsletter.