Delegation of computation with verification outsourcing: curious verifiers.

Gang Xu George T. Amariucai Yong Guan

Published in: PODC (2013)

Keyphrases

information technology
information systems
machine learning
access control
business process
model checking
web services
service providers
information retrieval
learning algorithm
artificial intelligence
social networks
cross domain
conflict resolution
formal verification
verification method