Search or add a thesis

Advanced Search (Beta)
Home > مولوی مراد علی کی تفسیر ’’تفسیر یسیر‘‘ کا اردو ترجمہ، تخریج اور تحقیق: سورةالطور تا سورة الممتحنة۔

مولوی مراد علی کی تفسیر ’’تفسیر یسیر‘‘ کا اردو ترجمہ، تخریج اور تحقیق: سورةالطور تا سورة الممتحنة۔

Thesis Info

Author

سلیم اللہ،سیّد

Supervisor

محمد طاہرحافظ

Program

Mphil

Institute

Abdul Wali Khan University Mardan

City

مردان

Degree Starting Year

2014

Language

Urdu

Keywords

تعارف تفاسیر , یسیر

Added

2023-02-16 17:15:59

Modified

2023-02-19 12:20:59

ARI ID

1676732778812

Similar


Loading...
Loading...

Similar Books

Loading...

Similar Chapters

Loading...

Similar News

Loading...

Similar Articles

Loading...

Similar Article Headings

Loading...

میرا جی بطور شاعر

میرا جی بطور شاعر
میراجی، جن کا اصل نام محمد ثناء اللہ تھا۔ منشی محمد مہتاب الدین کے ہاں 25 مئی، 1912ء کو لاہور میں پیدا ہوئے۔ پہلے ’’ساحری‘‘ تخلص کرتے تھے۔ لیکن ایک بنگالی لڑکی ’’میرا سین‘‘ کے یک طرفہ عشق میں گرفتار ہو کر ’’میراجی‘‘ تخلص اختیار کر لیا۔ میراجی کی ذات سے ایسے واقعات وابستہ ہیں کہ ان کی ذات عام آدمی کے لیے ایک افسانہ بن کر رہ گئی ہے۔ اْن کا حلیہ اور ان کی حرکات و سکنات ایسی تھیں کہ یوں معلوم ہوتا تھا انہوں نے سلسلہ ملامتیہ میں بیعت کر لی ہے۔ لمبے لمبے بال ،بڑی بڑی مونچھیں، گلے میں مالا، شیروانی پھٹی ہوئی، اوپر نیچے بیک وقت تین پتلونیں، اوپر کی جب میلی ہو گئی تو نیچے کی اوپر اور اوپر کی نیچے بدل جاتی۔ شیروانی کی دونوں جیبوں میں بہت کچھ ہوتا۔ کاغذوں اور بیاضوں کا پلندہ بغل میں دابے بڑی سڑک پر پھرتا تھااور چلتے ہوئے ہمیشہ ناک کی سیدھ میں دیکھتا تھا۔ وہ اپنے گھر اپنے محلے اور اپنی سوسائٹی کے ماحول کو دیکھ دیکھ کر کڑتا تھا اس نے عہد کر رکھا تھا کہ وہ اپنے لیے شعر کہے گا۔ صرف 38 سال کی عمر میں 3 نومبر، 1949ء کو انتقال کرگئے۔ اس مختصر سی عمر میں میراجی کی تصانیف میں ’’مشرق و مغرب کے نغمے‘‘ ’’اس نظم میں ‘‘’’نگار خانہ‘‘’’خیمے کے آس پاس‘‘ شامل ہیں۔ جبکہ میراجی کی نظمیں، گیت ہی گیت، پابند نظمیں اور تین رنگ بھی شاعری کے مجموعے ہیں۔

Majmu’ Hadits Integrasi Ilmu dan Islamisasi Digital Majmu' Hadith Integration of Science and Digital Islamization

Sains (ilmu pengetahuan) merupakan sesuatu yang penting dalam agama Islam. Integrasi sains dan agama berarti berupaya untuk memadukan antara sains dan agama, tak harus berarti menyatukan atau bahkan mencampuradukan, karena identitas atau watak dari masing-masing kedua entitas itu tak mesti hilang dan harus tetap dipertahankan. Dalam paradigma Islam, integrasi antara agama dan sains adalah sesuatu yang mungkin adanya, karena didasarkan pada gagasan ke-Esa-an (tauhid). Sudah saatnya, sains dan agama harus menghadirkan kesadaran yang muncul lewat pandangan-pandangan yang lebih harmonis, holistik, dan komprehensif. Alat digital merupakan salah satu medium terbaik untuk tujuan tersebut. Artikel ini merangkum bagaimana Integrasi Ilmu dan Islamisasi Digital menciptakan ruang bagi umat Islam untuk menggabungkan spiritualitas dengan teknologi, menghasilkan dampak positif dalam berbagai aspek kehidupan. Dengan mengambil langkah-langkah menuju integrasi ini, umat Islam dapat menjaga identitas keagamaan mereka sambil tetap berkontribusi dalam era digital yang terus berkembang.

Efficient and Anonymous Multi-Server Authentication and Key Agreement Protocol Framework

On our way to switching from single-server to multi-server authentication, one of the great challenges is to design a secure and computationally efficient multi-server authentication protocol. Multi-server Authentication (MSA) relieves the user of separate and individualized registration procedures from various service providers in a network. Following MSA paradigm, a user gets registered from a trusted authority first, and then the former may benefit itself from any service being offered by any service provider without registering again, engendering overhead efficiency. Another objective for switching towards multi-server architecture was to relieve the user of maintaining multiple passwords as much as the number of servers. A robust MSA architecture makes the access of sever-oriented network services not only convenient but also readily available for users. The remote internet authentication often entails the type of multiserver authentications, which further underscores the need of MSA protocol’s efficiency and robustness against threats. The service providers in an MSA-based network authenticate and verify the users on the basis of credentials provided by Registration Centre (RC) to the users during registration phase. In traditional MSA protocols, service providers consult online RC for verifying the user’s authenticity after receiving a login request. Besides, we witness MSA protocols where RC is bypassed during mutual authentication between user and service provider. The latter class of schemes takes less communicational cost and eliminates few bottlenecks, perceptibly, due to bypassing trusted RC from mutual authentication phase. The research academia came up with many authentication protocols lately, to enhance security and minimizing communicational overhead. However, the presented solutions are costly due to employing expensive bilinear operations, on the first hand. Besides, there are light-weight MSA protocols as well, nevertheless bearing many other drawbacks making those protocols unfit for practical implementations. We address these problems by presenting a novel multi-server authentication protocol framework that is not only efficient but also free of the hassle of key management and distribution problems. The protocol framework comprises a blend of the usage of selected crypto-primitives, messages and participating entities in such a way that leads to overall efficiency and achieves the security objectives as well. In this dissertation, we present state-ofthe-art review on MSA-based protocols and then propose corresponding protocols to address the above limitations. Our proposed work not only contributes a light-weight multi-server authentication protocol framework that could establish mutual authentication without RC engagement, but also improves upon many MSA schemes (Trusted and Non-trusted environment) to enhance security and reduce communication or computational delay for establishment of an authenticated session key between user and server. To prove the security claims, the formal security analysis is performed for each protocol and the results are also validated and verified using automated simulation tools.