Information flow control on encrypted data for service composition among multiple clouds

Encrypted Data ◽

Multiple Clouds

2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) ◽

Effective and efficient implementation of an information flow control protocol for service composition

10.1109/soca.2009.5410468 ◽

2009 ◽

Cited By ~ 7

Author(s):

Wei She ◽

I-Ling Yen ◽

Bhavani Thuraisingham ◽

Elisa Bertino

Keyword(s):

Flow Control ◽

Information Flow ◽

Service Composition ◽

Efficient Implementation ◽

Control Protocol

Policy-Driven Service Composition with Information Flow Control

2010 IEEE International Conference on Web Services ◽

10.1109/icws.2010.37 ◽

2010 ◽

Cited By ~ 15

Author(s):

Wei She ◽

I-Ling Yen ◽

Bhavani Thuraisingham ◽

Elisa Bertino

Keyword(s):

Flow Control ◽

Information Flow ◽

Service Composition ◽

Information-Flow Control for Programming on Encrypted Data

2012 IEEE 25th Computer Security Foundations Symposium ◽

10.1109/csf.2012.30 ◽

2012 ◽

Cited By ~ 16

Author(s):

John C. Mitchell ◽

Rahul Sharma ◽

Deian Stefan ◽

Joe Zimmerman

Keyword(s):

Flow Control ◽

Information Flow ◽

Encrypted Data

Distributed Information Flow Verification on Encrypted Data for Service Composition in Multiple Clouds

2017 International Conference on Networking and Network Applications (NaNA) ◽

10.1109/nana.2017.61 ◽

2017 ◽

Author(s):

Ning Xi ◽

Cong Sun ◽

Di Lu ◽

Yulong Shen

Keyword(s):

Information Flow ◽

Service Composition ◽

Encrypted Data ◽

Distributed Information ◽

Multiple Clouds

Security-Aware Service Composition with Fine-Grained Information Flow Control

IEEE Transactions on Services Computing ◽

10.1109/tsc.2012.3 ◽

2013 ◽

Vol 6 (3) ◽

pp. 330-343 ◽

Cited By ~ 23

Author(s):

Wei She ◽

I-Ling Yen ◽

Bhavani Thuraisingham ◽

Elisa Bertino

Keyword(s):

Flow Control ◽

Information Flow ◽

Service Composition ◽

Fine Grained

Secure service composition with information flow control in service clouds

Future Generation Computer Systems ◽

10.1016/j.future.2014.12.009 ◽

2015 ◽

Vol 49 ◽

pp. 142-148 ◽

Cited By ~ 16

Author(s):

Ning Xi ◽

Cong Sun ◽

Jianfeng Ma ◽

Yulong Shen

Keyword(s):

Flow Control ◽

Information Flow ◽

Service Composition ◽

Information Flow Control to Secure Dynamic Web Service Composition

Security in Pervasive Computing - Lecture Notes in Computer Science ◽

10.1007/11734666_15 ◽

2006 ◽

pp. 196-210 ◽

Cited By ~ 17

Author(s):

Dieter Hutter ◽

Melanie Volkamer

Keyword(s):

Flow Control ◽

Web Service ◽

Information Flow ◽

Service Composition ◽

Web Service Composition ◽

Dynamic Web

The SCIFC Model for Information Flow Control in Web Service Composition

2009 IEEE International Conference on Web Services ◽

10.1109/icws.2009.13 ◽

2009 ◽

Cited By ~ 29

Author(s):

Wei She ◽

I-Ling Yen ◽

Bhavani Thuraisingham ◽

Elisa Bertino

Keyword(s):

Flow Control ◽

Web Service ◽

Information Flow ◽

Service Composition ◽

Web Service Composition ◽

Information-flow control on ARM and POWER multicore processors

Formal Methods in System Design ◽

10.1007/s10703-021-00376-2 ◽

2021 ◽

Author(s):

Graeme Smith ◽

Nicholas Coughlin ◽

Toby Murray

Keyword(s):

Flow Control ◽

Information Flow ◽

Multicore Processors ◽

HLIO: mixing static and dynamic typing for information-flow control in Haskell

ACM SIGPLAN Notices ◽

10.1145/2858949.2784758 ◽

2015 ◽

Vol 50 (9) ◽

pp. 289-301 ◽

Cited By ~ 2

Author(s):

Pablo Buiras ◽

Dimitrios Vytiniotis ◽

Alejandro Russo

Keyword(s):

Flow Control ◽

Information Flow ◽

Dynamic Typing