دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France
دانلود کتاب جنبه های رسمی در امنیت و اعتماد: کارگاه IFIP TC1 WG1.7 در مورد جنبه های رسمی در امنیت و اعتماد (سریع) ، کنگره جهانی کامپیوتر ، 22 تا 27 اوت 2004 ، تولوز ، فرانسه
مشخصات کتاب
Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France
ویرایش: 1 نویسندگان: Mario Bravetti, Nadia Busi, Roberto Gorrieri (auth.), Theo Dimitrakos, Fabio Martinelli (eds.) سری: IFIP International Federation for Information Processing 173 ISBN (شابک) : 9780387240503, 0387240985 ناشر: Springer US سال نشر: 2005 تعداد صفحات: 255 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب جنبه های رسمی در امنیت و اعتماد: کارگاه IFIP TC1 WG1.7 در مورد جنبه های رسمی در امنیت و اعتماد (سریع) ، کنگره جهانی کامپیوتر ، 22 تا 27 اوت 2004 ، تولوز ، فرانسه: مدل ها و اصول، عملکرد و قابلیت اطمینان، رمزگذاری داده ها، سیستم های اطلاعاتی و خدمات ارتباطی، ساختارهای داده، رمز شناسی و نظریه اطلاعات، تشخیص الگو
در صورت تبدیل فایل کتاب Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22–27, 2004, Toulouse, France به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های رسمی در امنیت و اعتماد: کارگاه IFIP TC1 WG1.7 در مورد جنبه های رسمی در امنیت و اعتماد (سریع) ، کنگره جهانی کامپیوتر ، 22 تا 27 اوت 2004 ، تولوز ، فرانسه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های رسمی در امنیت و اعتماد: کارگاه IFIP TC1 WG1.7 در مورد جنبه های رسمی در امنیت و اعتماد (سریع) ، کنگره جهانی کامپیوتر ، 22 تا 27 اوت 2004 ، تولوز ، فرانسه
فدراسیون بین المللی پردازش اطلاعات
مجموعه IFIP جدیدترین نتایج را در زمینه علوم و فناوری اطلاعات و ارتباطات منتشر می کند. دامنه این مجموعه شامل: مبانی علوم کامپیوتر; تئوری و عمل نرم افزار؛ تحصیلات؛ کاربردهای کامپیوتری در فناوری؛ سیستم های ارتباطی؛ مدل سازی و بهینه سازی سیستم ها؛ سیستم های اطلاعاتی؛ کامپیوتر و جامعه؛ تکنولوژی سیستم های کامپیوتری؛ امنیت و حفاظت در سیستم های پردازش اطلاعات؛ هوش مصنوعی؛ و تعامل انسان و کامپیوتر مجموعه مقالات و مقالات پس از کنفرانس های بین المللی ارجاع شده در علوم کامپیوتر و زمینه های بین رشته ای برجسته شده است. این نتایج اغلب قبل از انتشار مجله است و نشان دهنده جدیدترین تحقیقات است. هدف اصلی مجموعه IFIP تشویق آموزش و انتشار و تبادل اطلاعات در مورد تمام جنبه های محاسباتی است.
برای اطلاعات بیشتر در مورد 300 کتاب دیگر در مجموعه IFIP. لطفاً از www.springeronline.com دیدن کنید.
برای اطلاعات بیشتر در مورد IFIP، لطفاً به www.ifip.or.at مراجعه کنید.
توضیحاتی درمورد کتاب به خارجی
International Federation for Information Processing
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springeronline.com.
For more information about IFIP, please visit www.ifip.or.at.
فهرست مطالب
Security Issues in the Tuple-Space Coordination Model....Pages 1-12
Information Flow Analysis for Probabilistic Timed Automata....Pages 13-26
Dynamic Security Labels and Noninterference (Extended Abstract)....Pages 27-40
Formal Analysis of a Fair Payment Protocol....Pages 41-54
Pattern-Matching Spi-Calculus....Pages 55-70
Decidability of Opacity with Non-Atomic Keys....Pages 71-84
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards....Pages 85-98
Family Secrets....Pages 99-114
An Interactive Trust Management and Negotiation Scheme....Pages 115-128
Complementing Computational Protocol Analysis with Formal Specifications....Pages 129-144
A Trust Model with Statistical Foundation....Pages 145-158
Modelling Dynamic Opacity Using Petri Nets with Silent Actions....Pages 159-172
Reasoning about Secure Interoperation Using Soft Constraints....Pages 173-186
A Logic for Auditing Accountability in Decentralized Systems....Pages 187-201
A Formal Approach to Specify and Deploy a Network Security Policy....Pages 203-218
Discretionary Overriding of Access Control in the Privilege Calculus....Pages 219-232
A Formal Model for Parameterized Role-Based Access Control....Pages 233-246
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Aus der Praxis des Taylor-Systems: Mit eingehender Beschreibung seiner Anwendung bei der Tabor Manufacturing Company in Philadelphia
دانلود کتاب When Tragedy Strikes: Rebuilding Your Life with Hope and Healing after the Death of Your Child
