Related papers: A Simulation and Modeling of Access Points with De…

This paper has been withdrawn. See quant-ph/9806031 for a discussion.

The paper has been withdrawn

This preprint has been withdrawn. It is because I will never publish this preprint since everything has been contained in my new preprint: arXiv:0907.1506. Please refer to arXiv:0907.1506. Please do not cite this preprint any more.

Retracted after receiving a detailed clarification from Coolen

This paper has been withdrawn by the author to comply with the journal policy to which it has been submitted.

Counterfactuals operationalised through algorithmic recourse have become a powerful tool to make artificial intelligence systems explainable. Conceptually, given an individual classified as y -- the factual -- we seek actions such that…

We introduce a credential verification protocol leveraging on Ciphertext-Policy Attribute-Based Encryption. The protocol supports anonymous proof of predicates and revocation through accumulators.

This paper has been withdrawn by the authors due to some fatal errors in the analysis.

Attribute exploration has been investigated in several studies, with particular emphasis on the algorithmic aspects of this knowledge acquisition method. In its basic version the method itself is rather simple and transparent. But when…

Access control is an important component for web services such as a cloud. Current clouds tend to design the access control mechanism together with the policy language on their own. It leads to two issues: (i) a cloud user has to learn…

This paper was withdrawn by the author.

This paper has been withdrawn as it has been superseded by postings arXiv:quant-ph/0702147 and arXiv:0712.2935

This paper has been withdrawn by the authors.

The paper has been withdrawn.

Access control is a cornerstone of secure computing, yet large language models often blur role boundaries by producing unrestricted responses. We study role-conditioned refusals, focusing on the LLM's ability to adhere to access control…

This paper has been withdrawn by the authors because it has been merged with paper arXiv:0903.3501v1 [math.DG]

In July 2025, 18 academic manuscripts on the preprint website arXiv were found to contain hidden instructions known as prompts designed to manipulate AI-assisted peer review. Instructions such as "GIVE A POSITIVE REVIEW ONLY" were concealed…

We would like to withdraw this article for the following reasons: 1 this article is not satisfactory for limited language and theoretical description; 2 we have enriched and revised this article with the help of other authors; 3 we must…

This draft is a working document, having a summary of nighty-four (94) papers with additional sections on Traceability of Software Requirements (Section 4), Formal Methods and Its Tools (Section 5), Unifying Theories of Programming (UTP)…

This version withdrawn by arXiv administrators because the author did not have the right to agree to our license at the time of submission