تبلیغات
برق. قدرت. کنترل. الکترونیک. مخابرات. تاسیسات. - امضای دیجیتال؛ هویت در فضای مجازی

برق. قدرت. کنترل. الکترونیک. مخابرات. تاسیسات.

دایره المعارف تاسیسات برق (اطلاعات عمومی برق)

امضای دیجیتال یا به عبارتی طرح امضای دیجیتال طرحی ریاضی برای اثبات اعتبار یک پیام یا یک سند دیجیتال است. امضای دیجیتال در حقیقت اعتباری است که به گیرنده اطمینان می‌دهد محتوای دیجیتالی را از گیرنده شناخته شده دریافت کرده است. امضای دیجیتال معمولا برای پخش نرم‌افزار، معاملات مالی و اموری که در آنها صحت و اعتبار سند اهمیت دارد، به کار می‌رود.

امضای دیجیتال اغلب به عنوان امضای الکترونیکی با معنا و کاربرد گسترده‌تری که هر نوع داده الکترونیکی را در بر می‌گیرد، به کار برده می‌شود و اعتبار آن در حد همان امضای واقعی است. البته باید گفت که همه امضاهای الکترونیکی، صرفا امضاهای دیجیتال به شمار نمی‌روند. ولی در برخی کشورها از جمله ایالات متحده آمریکا و اعضای اتحادیه اروپا امضای دیجیتال، مفهومی قانونی دارد.

امضای دیجیتال نوعی رمزنگاری نامتقارن است. هنگامی که پیغامی از کانالی ناامن ارسال می‌شود، یک امضای دیجیتال مناسب می‌تواند برای شخص گیرنده دلیلی باشد تا ادعای شخص فرستنده را باور کند.

امضای دیجیتال از بسیاری جنبه‌ها مشابه امضای دست نوشته است. با این تفاوت که جعل امضای دیجیتال بسیار مشکل‌تر از امضای سنتی است. طرح‌های امضای دیجیتال مبتنی بر رمزنگاری هستند و این رمزنویسی باید به شکل صحیحی صورت گیرد تا موثر واقع شود. امضاهای دیجیتال غیرقابل انکارند؛ به این معنی که امضاکننده زمانی که پیامی را امضای دیجیتالی نکرده، می‌تواند ادعا کند که کلید خصوصی‌اش محرمانه می‌ماند. علاوه بر این برخی از این طرح‌های غیر قابل انکار مهر زمان دارند و بر همین اساس بعد از مدت معینی امضای دیجیتال منقضی می‌شود. البته حتی در صورت منقضی شدن، خود امضا به قوت خود باقی می‌ماند. پیام‌هایی که برچسب امضای دیجیتال می‌خورند، به عنوان یک رشته بیتی همانند پست الکترونیکی، قراردادها و یا پیام‌هایی که از طریق پروتکل‌های دیگر رمزنگاری ارسال شده باشند، قابل عرضه‌اند.

 

مفهوم امضای دیجیتال

هر طرح امضای دیجیتال شامل سه الگوریتم است که عبارتند از:

1- الگوریتم تولید کلید: در این مرحله یک کلید محرمانه از یک سری کلیدهای محرمانه ممکن به صورت تصادفی انتخاب می‌شود. در واقع خروجی این الگوریتم کلید محرمانگی و یک کلید عمومی مترادف با آن است.

2- الگوریتم امضا: الگوریتمی است که با دادن پیام و کلید محرمانگی، امضای دیجیتال تولید می‌کند.

3- الگوریتم شناسایی امضا: الگوریتمی است که یک پیام، کلید عمومی و یک امضا را به صورت ورودی دریافت می‌کند و اعتبار آن پیام را تایید یا رد می‌کند.

برای تولید یک امضای دیجیتال دو ویژگی ضروری است. یکی اینکه تولید یک امضا از یک پیام ثابت و کلید محرمانگی ثابت باید صحت و سقم اعتبار آن پیام را با استفاده از کلید عمومی مرتبط با آن بسنجد. دوم اینکه این فرآیند کامپیوتری برای شخص حقوقی که کلید عمومی ندارد، نمی‌تواند امضای معتبر تولید کند.

تاریخچه امضای دیجیتال

ویتفیلد دیفی (Whitfield Diffie) و مارتین هلمن (Martin Hellman) برای اولین بار در سال 1976 مفهوم امضای دیجیتال را وارد ادبیات دیجیتال کردند. پس از آن، رونالد ریوست، ادی شامیر و لن آدلمان، الگوریتم RSA(برگرفته از اول اسم این سه نفر) را ابداع کردند که برای تولید امضای دیجیتال اولیه از آن استفاده می شد. البته این الگوریتم تنها در سطح پایین مفهومی از امضای دیجیتال تعریف شده بود و امنیت چندانی نیز نداشت.

اولین نرم‌افزار عمومی که برای تولید امضای دیجیتال به بازار عرضه شد Lotus Notes 1.0 بود که در سال 1989 معرفی شد و از همان الگوریتم RSA پیروی می‌کرد. ساختار امضاهای دیجیتال مبتنی بر RSA به این صورت بود که برای تولید کلیدهای امضا می‌بایست یک جفت کلید RSA شامل مدول‌های N، تولید می‌شد. به هر حال این طرح‌ها از امنیت خوبی برخوردار نبودند و برای اجتناب از نفوذ در آنها می‌بایست از یک تابع ریاضی که عملیات رمزنگاری را انجام می‌داد، استفاده می‌شد.


بعد از آن، طرح‌های دیگری با عنوان‌های امضای لمپورت، مرکل و رابین طراحی شدند. در سال ?9?? شفی گلدواسر، سیویو میسالی و رونالد ریوست، موارد مورد نیاز را برای برقراری امنیت در طرح امضای دیجیتال بررسی کردند. آنها با بررسی سلسله مراتب مدل‌های مختلف حمله و نفوذ به امضای دیجیتال توانستند طرح امضای دیجیتال GMR را ارایه دهند. این طرح اولین طرحی بود که توانست در مقابل یک حمله خاص، از دریافت پیام جعلی جلوگیری کند.

طرح‌های ابتدایی امضای دیجیتال، ساختار مشابهی داشتند: همه آنها از جایگشت دریچه‌ای مانند تابع RSA  استفاده می‌کردند و یا در برخی موارد از طرح امضای رابین بهره می‌گرفتند. جایگشت دریچه‌ای، مجموعه‌ای از جایگشت‌هاست که توسط یک پارامتر مشخص می‌شوند و در محاسبه‌های پیش‌رو به راحتی کار می‌کنند. ولی در محاسبه‌های معکوس (بازگشتی) بدون دانستن کلید محرمانگی با مشکل مواجه می‌شوند. با وجود این برای هر پارامتر یک دریچه (کلید محرمانگی) وجود دارد که در صورت شناخته شدن به راحتی پیام را رمزگشایی می‌کند. جایگشت‌های دریچه‌ای می‌توانند در جایی که پارامتر به عنوان کلید عمومی و جایگشت به عنوان کلید رمز و یا در جایی که رمزگذاری برای محاسبه پیش‌روی جایگشت و رمزگشایی برای محاسبه معکوس در نظر گرفته شده، به عنوان سیستم‌های رمزگذاری کلید عمومی به کار رود.

این جایگشت‌های دریچه‌ای می‌توانند علاوه بر این به عنوان طرح امضای دیجیتال به کار روند. به این صورت که محاسبه معکوس با کلید رمز مانند امضا کردن است و محاسبه پیش‌رو مانند بررسی صحت امضاست. به همین دلیل امضاهای دیجیتال اغلب بر پایه سیستم رمزنگاری کلید عمومی تعریف می‌شوند. اما این تنها روش پیاده سازی امضای دیجیتال نیست.

 

مزایای امضای دیجیتال

دلایل استفاده و اهمیت امضای دیجیتال را در دو مورد اعتبار و یکپارچگی می‌توان خلاصه کرد. از آنجا که اغلب پیام‌های دیجیتالی شامل اطلاعاتی در مورد ماهیت ارسال یک پیام است، این اطلاعات ممکن است چندان صحت نداشته باشند. امضای دیجیتال در حقیقت به منبع پیام اعتبار می‌بخشد. زمانی که دارنده یک کلید خصوصی سندی را امضا می‌کند، به آن ارزش و اعتبار داده و سپس آن را ارسال کند. اهمیت ایجاد اطمینان قطعی به شخص گیرنده پیام درباره صحت ادعای فرستنده در انتقال اطلاعات مانند داده‌های مالی به خوبی خود را نشان می‌دهد و اهمیت وجود امضای دیجیتال امکان خطا را در پیام‌ها کاهش می‌دهد.


به عنوان مثال تصور کنید شعبه‌ای از یک بانک قصد دارد دستوری را به دفتر بانک مرکزی برای درخواست ایجاد تعادل در حساب‌های خود ارسال کند. اگر شخص دریافت کننده در دفتر مرکزی متقاعد نشود که منبع این پیام، کجاست، طبق درخواست عمل نمی‌کند و در نتیجه مشکلاتی را به وجود می‌آورد.

در مورد یکپارچگی نیز می توان گفت که در بیش‌تر مواقع، فرستنده و گیرنده پیام نیاز به داشتن این اطمینان دارند که پیام در حین انتقال بدون تغییر باقی مانده است.

هرچند رمزنگاری محتوای پیام را مخفی نگه می‌دارد ولی ممکن است امضا در یک سیستم از اعتبار ساقط شود و محتویات یک پیام دستخوش تغییر شود. ولی استفاده از امضای دیجیتال به عنوان روشی از رمزنگاری می‌تواند ضامن درستی و بی نقصی یک پیام در عملیات انتقال اطلاعات باشد. زیرا همان‌طور که در ساختار اجرای الگوریتم شرح داده شد، از تابع درهم‌سازی بهره گرفته شده و همین نکته ضمانت بهتری را برای درستی و صحت یک پیام ایجاد می‌کند.

 

گواهینامه دیجیتالی

یک گواهینامه دیجیتالی یک فایل دیجیتالی است که حاوی اطلاعاتی رمزگذاری شده‌ از قبیل کلید عمومی و سایر اطلاعات دارنده خود است. دارنده می‌تواند یک شخص، یک شرکت، یک سایت و یا یک نرم‌افزار باشد. مانند یک گواهینامه رانندگی که عکس صاحب خود را همراه سایر اطلاعات در مورد دارنده آن، شامل می‌شود. یک گواهینامه دیجیتالی نیز یک کلید عمومی را به اطلاعاتی در مورد دارنده آن متصل می‌کند.

 

انواع گواهینامه دیجیتالی

چند نوع گواهینامه دیجیتال وجود دارد که برای مصارف گوناگون به کار می‌روند و عبارتند از:

شخصی: قابل استفاده توسط اشخاص حقیقی برای امضای ایمیل و تبادلات مالی

سازمان‌ها: قابل استفاده توسط اشخاص حقوقی برای شناساندن کارمندان برای ایمیل‌های محفوظ و تبادلات اینترنتی

سرور: برای اثبات مالکیت یک نام دامنه اینترنتی

 تولیدکنندگان: برای اثبات حق تالیف و حفظ حقوق آن برای نشر برنامه نرم‌افزاری

آرامش چیست(مطلب زیبایی بود دلم نیامد نزارم تو وبلاگ)

شادابی ،نشاط ، لذت بردن از زندگی و هدفمندی مستلزم داشتن شخصیت سالم است . ازطریق آشنایی با معیارهای سلامت روانی و تطابق آن باویژگی های شخصی ،تعامل با دیگران و محیط پیرامونی اندكی می توانیم عوامل آسیب زا به شخصیت سالم را شناسایی و با اصلا ح آنها ، در كسب شخصیت سالم تلاش كنیم .

سلامت روانی و جسمانی خواست همه انسانهاست و همه در تلاشیم شخصیت های سالمی درزندگی برای برقراری مناسبات سالم انسانی پیدا كنیم .اما آیا تا كنون اندیشیده اید كه چه فردی ازشخصیت سالم بهره مند است گوردن آلپورت یكی از نخستین روان شناسی بود كه توجه خود را به شخصیت سالم معطوف داشت . از نظر وی افراد سالم در سطح معقول و آگاه عمل می كنند ،از قید و بندهای گذشته آزادند و از نیروهایی كه آنها را هدایت می كنند كاملا آگاهند و می توانند برآنها چیره شوند . راهنمای اشخاص بالغ ، زمان حال ،‌هدفها و انتظارهایی است كه از آینده دارند .جنبه بنیادی شخصیت آدمی را مقاصد سنجیده و آگاهانه (امیدها و آرزوهای او ) تشكیل می دهد . این هدفها ، انگیزه شخصیت سالم قرار می گیرد و بهترین راهنما برای فهم رفتار كنونی انسان هستند .وجود آدمی برداشتن هدفهای دراز مدت استوار است و انسا ن را از حیوان ، كودك را از سالمند ،در اكثر موارد ،‌شخصیت سالم را از بیمار متمایز می كند .

از نظر آلپورت ،‌انسانهای سالم نیاز مداومی به تنوع ،‌احساس و درگیری تازه دارند .كارهای روزمره و عادی را كنار می گذارند و درجست و جوی تجربه های تازه هستند . ماجراجو هستند ،‌خطر می كنند و چیزهای تازه كشف می نمایند . همه این فعالیتها ایجاد تنش می كند و در هر صورت تنها از راه تجربه ها و خطرهای تنش زاست كه بشر می تواند ببالد . نگاه شخص سالم به آینده او را پیش میراند و این نگرش با هدفهای خاص خود شخصیت را یگانه می سازد و سبب افزایش میزان تنش او می شود .


از دیدگاه آلپورت


گسترش مفهوم خود ،ارتباط صمیمانه خود با دیگران ، امنیت عاطفی ، ادارك واقع بینانه ، مهارتها و وظایف ، عیینیت بخشیدن به خود و فلسفه یگانه سازندگی هفت معیار شخصیت سالم است.

ازسوی دیگر اریك فروم معتقد است كه به سبب اهمیت نیروهای اجتماعی و فرهنگی برای درك یكایك اعضای جامعه ،باید ساختار آن جامعه درگذشته و حال تجزیه و تحلیل گردد . بنابراین شناسایی ماهیت جامعه كلید درك شخصیت متغیر انسان است . شخصیت ،خواه سالم و ناسالم به فرهنگ بستگی دارد . فرهنگ مانع یا حامی رشد و تكامل مثبت انسان است .

فروم شخصیت انسان را بیشتر محصول فرهنگ میداند . از نظر وی سلامت روان بستگی به این دارد كه جامعه تا چه اندازه نیازهای اساسی افراد جامعه را برآورده می كند ،نه اینكه فرد تا چه حد خود را با جامعه سازگار می كند . در نتیجه ، سلامت روان بیش از آنكه امری فردی باشد . مساله ای اجتماعی است . جامعه ناسالم در بین اعضای خود دشمنی بدگمانی بی اعتمادی میآفریند و مانع از رشد كامل آنها می گردد . درمقابل جامعه سالم به اعضای خود امكان می دهد به یكدیگر عشق بورزند ،بارور، كارآمد و خلاق باشند و قوه تعقل و عینیت خود را بارورو نیرومند سازند .

از نظر مزلو نیز كه یك روانشناس انسانگر است .شخص سالم در حال خودشكوفایی یا تحقیق ذات است ،شخصی است كه شایستگی بودن و شدن را داراست .

درک درست ازواقعیت ،ذهن بازداشتن به تجربه ها ،‌افكار ، اطلاعات جدید ،وحدت شخصیت هویت راسخ ، خود را می شناسد و برآن اساس رفتار می كند ،توانایی گسترش روابط صیمیانه ،خلاقیت و برخورداری از رفتار اخلاقی مبتنی بر اصول معنوی را ویژگی های شخصیت سالم می داند و معقتد است افرادی كه خواستار خود شكوفایی هستند به نوبه خود نیازهای سطوح پایین تر شان (یعنی نیازهای جسمانی ،‌ایمنی ، تعلق ،‌محبت و احترام ) را برآورده سازند آنان دچار بیمارهای روانی نیستند ،آنان الگوهای بلوغ ، پختگی و سلامتی هستند و با حداكثر استفاده از همه قابلیتها تواناییهایشان خویشتن را فعلیت و تحقق می بخشند . میدانند چسیتند ،كیسیتند و كجا می روند . به اعتقاد وی جوانان نمی توانند كاملا خواستار تحقق خود باشند ،آنان احساس هویت نیرومند و استقلال ندارند ، به رابطه عاشقانه پایدار نرسیده اند ، اما می توانند به سوی تحقق خود پیش بروند و از خود ویژگیهای نشان دهند كه حاكی از توجه به بلوغ و سلامت روان باشد .

به اعتقاد مزلو ویژگی دیگرافراد خود شكوفا ،‌ادراك صحیح از واقعیت عینی شناخت عینی از موضوعهاو اشخاص پیرامون خود به همانگونه كه وجود دارد و تشخیص ریاكاری و نادرستی است .شخصیتهای نا سالم ،‌جهان را با قالب ذهنی خویش ادارك می كنند و می خواهند به زور آن را به شكل ترسها ، نیازها ،‌وارزشهای خود درآورند .

ازسوی دیگر روان شناسان شناخت گرا ، براین باورند كه شخص سالم ،‌رویدادهای محیط را با استفاده از روشهایی تعبیر و تفسیر می كند كه به احساس خوب (یا امید ) می انجامند و او را قادر می سازند به اینكه برای حل مسائل زندگی خود مهارتهای خاصی را به بكار برد .

وین و دایر با پیش كشیدن بحثی تحت عنوان تصویر اشخاصی كه نقاط ضعف شخصیت خویش را از بین برده اند . معتقد است كه این اشخاص همه چیز زندیگ را دوست دارند ،‌ازانجام هیچ كاری ناراحت نمیشوند .اوقات خود را با شكوه و شكایت ، یا این آرزو كه اوضاع طوردیگری باشد ،‌تلف نمی كنند . نسبت به امور زندگی احساس شور و هیجان دارند .خواست و توقعشان از زندگی تاحدی است كه دستیابی به آ‌ن برابیشا ن امكان داشته باشد . وقتی افراد دیگری نزدیك چنین افرادی هستند ،‌در وجود آنان هیچگونه ناله و شكایت یا حتی آههای افسوس بار نمی بینند . در مهمانی ها یا درتنهایی ، به سادگی به آنچه كه در اطرافشان قراردارد خود را سرگرم میكنند . تظاهر به لذت بردن نیم كنند . بلكه هر آنچه را كه هست بطور خردمندانه میپذیرند و توانایی شگفت انگیز در لذت بردن ازواقعیات دارند . اگر لازم باشد كه اوضاع و شرایطی عوض شود . سعی در تغییر آن می كنند و از این تلاش و كوشش لذت می برند . به راستی دوستدار زندگی هستند و تا حد امكان ازآن بهره میگیرند .

نگرش كارل راجرز به الگوی شخصیت سالم ،تصویر خوش بینانه ای از طبیعت انسان عرضه می كند كه مضمون عمده آن این ست كه شخص باید فقط بر تجربه ای كه خود از جهان دارد متكی باشد چرا كه این تجربه تنها واقعیتی است كه هر فرد می تواند بشناسد .به اعتقاد وی ، ادراك آگاهانه از خویشتن و دنیای پیرامون است كه شخص راهدایت می كند ، نه نیروی ناآگاهی كه در اختیار و به فرمان او نیست . تجربه هوشیار و آگاهانه زیربنای عاطفی انسان رامی سازند و شخصیت سالم ،اهمیت زمان حال و چگونگی ادراك آن ،بیش از گذشته است . البته نباید منكر تاثیر رویدادهای گذشته برشیوه نگرش كنونی شد زیرا رویدادها در میزان سلامت روانی انسانها موثر واقع می شود ، اما تاكید عمده بر رویدادهای كنونی است نه آنچه در كذشته پیش آمده است .

راجرز برای شخصیت سالم ازخود پنداری مثبت و سالم سخن به میان می آورد و پذیرش احساسات ،عزت نفس ،ارتباط خوب با دیگران ، زندگی كامل در زمان حال ،‌ادامه یادگیری چگونه آموختن ،ذهن بازداشتن به افكار خود ، توانایی تصمیم گیری مستقل وخلاقیت را از خصایص شخص سالم برمی شمارد .


معیارهای سلامت روانی


براساس نظر كارشناسان سازمان جهانی بهداشت ،‌سلامتی نه فقط به فقدان بیماری و نقص عضو بلكه به حالت رفاه كامل جسمی ، روانی و اجتماعی اطلاق می شود بنابراین تعریف ، سلامت روانی به عنوان یكی از معیارهای تعیین كننده سلامت عمومی شناخهت می وشد . فردی كه از سلامت روانی برخوردار است ،ضمن احساس راحتی و آسایش قادر است در اجتماع به راحتی و بدون اشكال به فعالیت بپردازد و ویژگی های شخصی وی در آن اجتماع ،‌موجب خشنودی و رضایت است .

سلامت روانی و بدنی لازم و ملزومند . متخصصان علوم تغذیه و پژوهشگران تناسب فیزیكی ،بین سلامت روان و بدن با كیفیت تغذیه و میزان تحریك جسمی ،‌ارتباط معناداری یافته اند . مطالعات زیستی ـ شیمیایی مغز انسان نشان می دهد كه سلامت روان و ذهن ،احتمالا به منظم و متعادل بودن فعالیتهای الكتروشیمیایی سلولهای مغز ی و دستگاههای عصبی بستگی دارد .

به سختی می توان كسی را یافت كه متعادل منطقی و آگاه به اعمال خود باشد هر فرد در دوره هایی از ندگی خود دارای ویژگیهایی از قبیل شیدایی ، افسردگی ،اجتماعی بودن ،بیگانگی ،‌جست و خیز و انفعالی بودن است ،بنابراین به شكلی رفتارهای غیرم نطقی را تجربه می كند . تفاوت رفتارهای عادی و غیر عادی یك امر رتبه ای و درجه بندی شده است .برخی از مردم بیش از دیگران غیر منطقی هستند . و بعضی دیگر چنان غیر منظقی هستند كه در زمینه سازگار شدن با زندگی به كمك نیاز دارند .

همچنین فرانكل اراده معطوف به معنا را ملاك سلامت روان می داند . او نظریه معنا درمانی را برای درمان كسانی كه زندگیشان بدون معناست معرفی می نماید .در این نظریه ،‌طبیعت انسان بر سه محور استوار است :آزادی اراده ،اراده معطوف به معنا و معنای زندگی .او معتقد است با آنكه در معرض شرایط بیرونی معینی هستیم كه برزندگی ماتاثیر می گذارد با این حال در انتخاب واكنشهای خود نسبت به این اوضاع و شرایط آزاد هستیم . اراده معطوف به معنا و معنای زندگی به نیاز مداوم انسان به جست و جستجو نه برای خویشتن بلكه برای معنایی كه به هستی ما منظور می بخشد ارتباط می یابد . هرچه بتوانیم از خود فراتر رویم و خود را در راه چیزی یا كسی ایثار كنیم انسان تر می شویم . مجذوب شخص یا چیزی فراسوی خودشدن معیار نهایی رشد و پرورش شخصیت سالم است . به اعتقاد فرانكل جوهر وجود انسان را سه عامل معنویت ،آزادی و مسولیت تشكیل می دهند .

برای دسترسی به سلامت روانی باید بپذیریم كه در رفتار خود آزادی انتخاب داریم و این آزادی را هب كار ببریم و مسوولیت انتخاب نیز با خودماست . بنابراین سلامتی و عدم سلامتی روانی به مقدار زیادی ناشی از تجارب موفق و ناموفق در دوران تحصیلی و واكنشهای معلمان و والدین نسبت به اآنان است .

زمانی كه شخصیت كودك شكل نگرفته ،سالهای نخست زندگی تحصیلی خود را آغاز می كند ،‌در مسیر رشد و بالندگی قرار می گیرد و درطول بهترین سالهای عمر خود ،‌با عوامل مختلف موثر بر تحول شناختی ،عاطفی و اجتماعی به كنش متقابل می پردازد كه نتیجه اش همان چیزی است كه به صورت جوان 19 ـ 18 ساله ای به جامعه تحویل داده می شود .


حال چنانچه این فرد به ویژگی ها و خصایص شخصیت سالم آشنا و در جهت كسب آنها تلاش كند . زندگی ای سرشار ازامید ، شادی ،‌آرامش و همراه با موفقیت خواهد داشت

http://ali142.mihanblog.com/post/542

صفحات جانبی

نظرسنجی

    لطفاً نظرات خود را درمورد وبلاگ با اینجانب در میان بگذارید.(iman.sariri@yahoo.com)نتایج تاکنون15000مفید و 125غیرمفید. با سپاس


  • آخرین پستها

آمار وبلاگ

  • کل بازدید :
  • تعداد نویسندگان :
  • تعداد کل پست ها :
  • آخرین بازدید :
  • آخرین بروز رسانی :