AGORA: Open More and Trust Less in Binary Verification Service.
Hongbo ChenQuan ZhouSen YangXing HanFan ZhangDanfeng ZhangXiaoFeng WangPublished in: CoRR (2024)
Keyphrases
- protocol specification
- open systems
- university library
- security services
- service composition
- service providers
- web services
- trust evaluation
- service discovery
- model checking
- service oriented
- formal verification
- management system
- digital libraries
- neural network
- service quality
- trust model
- semantic web services
- non binary
- access control
- network services
- end users