Efficient chosen-ciphertext secure proxy re-encryption scheme by Wei-wei ZHANG, Ru ZHANG, Jian-yi LIU, Xin-xin NIU, Yi-xian YANG

Subjects: “…proxy re-encryption…”
Get full text

Partially blind proxy re-signature scheme with proven security by Xiaodong YANG, Chunlin CHEN, Ping YANG, Faying AN, Tingchun MA, Caifen WANG

Subjects: “…partially blind proxy re-signature…”
Get full text

RLWE-based ciphertext-policy attribute proxy re-encryption by En ZHANG, Yaoyao PEI, Jiao DU

Subjects: “…proxy re-encryption…”
Get full text

Design, implementation and formal verification of BGP proxy for mimic router by Jin ZHANG, Qiang GE, Weihai XU, Yiming JIANG, Hailong MA, Hongtao YU

“…To ensure the safety and correctness of the critical ‘mimic bracket’ components such as protocol proxies of mimic routers, a BGP (border gateway protocol) proxy was designed and implemented, and formal methods were applied to verify the safety and correctness of the BGP proxy.The BGP packets communicated between the peer routers and the master actor were monitored by the BGP proxy.The BGP sessions with the slave actors on behalf of peer routers were established, ensuring the consistency of the BGP protocol states for all actors.The formal specification of the BGP proxy was written based on separation logic.The VeriFast theorem prover was used to prove that the program had no memory safety problems such as null pointer reference.Furthermore, the formal verification of high-level attributes of each module in BGP proxy was also conducted to strictly ensure that the implementation met the specification.The implementation to proof code ratio of BGP proxy is about 1.8:1, and the implementation to proof labor hour ratio is about 1:3.The formally verified BGP proxy consume 0.16 seconds to process 100 000 BGP routes, which is about 7 times as long as the unverified one.Works done provide a reference for applying formal methods to verify the safety and correctness of critical components in mimic defense equipment and systems.…”
Get full text

Concept and Significance of Criminalistics Classification of Crimes Related to Proxy Battle by O. M. Luhovyi

Subjects: Get full text

Streamflow prediction using artificial neural networks and soil moisture proxies by Robert Edwin Rouse, Doran Khamis, Scott Hosking, Allan McRobie, Emily Shuckburgh

“…By highlighting this capability to learn effectively using proxy variables, we demonstrate a more transferable framework that minimizes sensing requirements and that enables a route toward generalizing models.…”
Get full text

A basin‐wide carbon‐related proxy dataset in arid China by Yu Li, Yaxin Xue, Mingjun Gao, Zhansen Zhang, Simin Peng, Junjie Duan

Subjects: Get full text

Verifiable federated aggregation method based on homomorphic proxy re-authentication by YANG Fan, SUN Yi, CHEN Xingyuan, GAO Qi

Subjects: Get full text

Revocable identity-based proxy re-signature scheme in the standard model by Xiaodong YANG, Yutong LI, Jinli WANG, Tingchun MA, Caifen WANG

Subjects: “…identity-based proxy re-signature…”
Get full text

Relationships Between foF2 and Various Solar Activity Proxies by Jan Laštovička, Dalia Burešová

Subjects: “…solar activity proxies…”
Get full text

Attribute-based proxy signature scheme for unmanned aerial vehicle networks by Lei HE, Jianfeng MA, Dawei WEI

Subjects: Get full text

Black Stink Bug Proxys punctulatus (Palisot) (Insecta: Hemiptera: Pentatomidae) by Celina Gomez, Russell F. Mizell, III

“…EENY 432/IN795: Black Stink Bug Proxys punctulatus (Palisot) (Insecta: Hemiptera: Pentatomidae) (ufl.edu) …”
Get full text

A Provably Secure Proxy Signcryption Scheme Using Bilinear Pairings by Nai-Wei Lo, Jia-Lun Tsai

“…Therefore, privilege delegation mechanism has become a necessary service in modern enterprises and organizations. Proxy signcryption scheme provides a secure privilege delegation mechanism for a person to delegate his privilege to his proxy agent to accomplish things. …”
Get full text

Self-defence model of SIP proxy server for against DoS attack by ZHANG Zhao-xin, DU Yue-jin, LI Bin, ZHANG Hong-li

“…Through deeply analyzing on the principle,mode,character of DoS,and the DoS attack faced by SIP network,combining with the idea of Client Puzzle,DFA,long-distance linkage,host linkagethe,the character of SIP network,and the principle of SIP proxy server,the defence model of SIP proxy server for DoS attack was put forward,and the testbed to test the ability of this model to resist DoS attack was designed.The experiment result proves that this model can effectively resist the DoS attack for SIP proxy server with millisecond delay of signal transfer,and improves the usablity of SIP network.…”
Get full text

Black Stink Bug Proxys punctulatus (Palisot) (Insecta: Hemiptera: Pentatomidae) by Celina Gomez, Russell F. Mizell, III

“…EENY 432/IN795: Black Stink Bug Proxys punctulatus (Palisot) (Insecta: Hemiptera: Pentatomidae) (ufl.edu) …”
Get full text

Proxy caching algorithm based on segment popularity for mobile streaming media by YANG Ge1, LIAO Jian-xin1, ZHU Xiao-min1, YANG Bo1, HUANG Hai1

Subjects: Get full text

US – Iran Proxy War in Middle East Under Trump Administration by Hino Samuel Jose, La ode Muhamad Fathun

Subjects: Get full text

ID-based efficient and proactive threshold proxy signature in the standard model by YU Yi-ke1, ZHENG Xue-feng2

Subjects: “…proactive threshold proxy signature…”
Get full text

Integrity checking protocol with identity-based proxy signature in mobile cloud computing by Li YAN, Run-hua SHI, Hong ZHONG, Jie CUI, Shun ZHANG, Yan XU

Subjects: Get full text

Proxy re-encryption based multi-factor access control scheme in cloud by Mang SU, Guozhen SHI, Anmin FU, Yan YU, Wei JIN

Subjects: “…proxy re-encryption…”
Get full text