Search results
From MaRDI portal
- 2023-01-09 Paper Verifying Properties of Systems Relying on Attribute-Based Communication 2022-11-09 Paper A completeness theorem for nondeterministic...10 bytes (19 words) - 17:45, 11 December 2023
- Publication Type Verifying Properties of Systems Relying on Attribute-Based Communication 2022-11-09 Paper...10 bytes (16 words) - 12:32, 14 March 2024
- and its behavioural theory 2019-09-17 Paper On the Power of Attribute-Based Communication 2016-10-19 Paper Can We Efficiently Check Concurrent Programs...10 bytes (19 words) - 14:16, 24 September 2023
- Publication Type Verifying Properties of Systems Relying on Attribute-Based Communication 2022-11-09 Paper Compositional verification of concurrent systems...10 bytes (17 words) - 16:47, 24 September 2023
- 2023-05-26 Paper Verifying Properties of Systems Relying on Attribute-Based Communication 2022-11-09 Paper https://portal.mardi4nfdi.de/entity/Q5089279...10 bytes (17 words) - 03:52, 25 September 2023
- conversations 2016-09-20 Paper Global Protocol Implementations via Attribute-Based Communication 2016-01-08 Paper Combining behavioural types with security analysis...10 bytes (19 words) - 11:57, 7 October 2023
- \(\pi\)-calculus 2016-04-01 Paper Global Protocol Implementations via Attribute-Based Communication 2016-01-08 Paper Controlled Reversibility and Compensations 2015-11-30...10 bytes (18 words) - 15:14, 6 October 2023
- Their Logical Characterizations 2016-11-09 Paper On the Power of Attribute-Based Communication 2016-10-19 Paper Spatial Logic and Spatial Model Checking for...10 bytes (17 words) - 03:21, 25 September 2023
- learning of rough set-based prediction under a holistic framework 2020-09-09 Paper Incremental mechanism of attribute reduction based on discernible relations...10 bytes (17 words) - 14:19, 10 December 2023
- \)-egalitarian Myerson value of games with communication structure 2023-06-28 Paper A Novel Algorithm for Group Decision Making Based on Continuous Optimal Aggregation...10 bytes (17 words) - 12:54, 28 January 2024
- encryption based on multi-input inner-product functional encryption 2021-01-18 Paper Server-Aided Directly Revocable Ciphertext-Policy Attribute-Based Encryption...10 bytes (17 words) - 18:42, 8 December 2023
- model under shear condition 2021-02-18 Paper Efficient attribute-based encryption with attribute revocation for assured data deletion 2020-10-07 Paper Disclinations...10 bytes (16 words) - 15:09, 10 December 2023
- multi-hop communication based on Greenberger-Horne-Zeilinger states and Bell states 2023-03-15 Paper High-capacity quantum key distribution based on hyperentangled...10 bytes (17 words) - 22:11, 8 December 2023
- Intermediate-estimator-based fault tolerant shape control via PDFs 2022-09-21 Paper Multiple-attribute group decision-making method based on intuitionistic...10 bytes (17 words) - 16:44, 10 December 2023
- Classification for Cloud-Based Remote Clinical Decision Services 2022-03-23 Paper Privacy-preserving attribute-keyword based data publish-subscribe service...10 bytes (18 words) - 13:19, 12 December 2023
- 2017-10-02 Paper Efficient and secure attribute-based signature for monotone predicates 2017-09-29 Paper Local Area Prediction-Based Mobile Target Tracking in Wireless...10 bytes (17 words) - 13:35, 11 December 2023
- rigid-flexible coupling flapping wing based on composite learning control 2024-03-26 Paper Group decision making based on multiplicative consistency and consensus...10 bytes (17 words) - 02:05, 10 December 2023
- Universe Ciphertext-Policy Attribute-Based Encryption with White-Box Traceability 2015-07-27 Paper Fully secure revocable attribute-based encryption 2014-09-02...10 bytes (17 words) - 00:41, 9 December 2023
- Event-triggered-based external consensus protocol of RBF-ARX-model-based networked multiagent systems with nonlinear dynamics and communication delays 2021-07-02...10 bytes (16 words) - 10:28, 9 December 2023
- Framework 2016-12-19 Paper Attribute Based Key-Insulated Signatures with Message Recovery 2016-12-19 Paper Attribute-based key-insulated signature for...10 bytes (17 words) - 20:16, 6 October 2023