|
Showing 1 - 7 of
7 matches in All Departments
The security issues set by the global digitization of our society
have had, and will continue to have, a crucial impact at all levels
of our social organization, including, just to mention a few,
privacy, economics, environmental policies, national sovereignty,
medical environments. The importance of the collaborations in the
various ?elds of computer s- ence to solve these problems linked
with other sciences and techniques is clearly recognized. Moreover,
the collaborative work to bridge the formal theory and practical
applications becomes increasingly important and useful. In this
context, and since France and Japan have strong academic and ind-
trial backgrounds in the theory and practice of the scienti?c
challenges set by this digitized world, in 2005 we started a formal
French-Japanese collaboration and workshop series on computer
security. The three ?rst editions of these French-Japanese Computer
Security wo- shops in Tokyo, September 5-7, 2005 and December 4-5,
2006 and in Nancy, March 13-14, 2008 were very fruitful and were
accompanied by several imp- tant research exchanges between France
and Japan. Because of this success, we launched a call for papers
dedicated to computer security from it's foundation to practice,
with the goal of gathering together ?nal versions of the rich set
of papers and ideas presented at the workshops, yet opening the
call to everyone interested in contributing in this context. This
v- ume presents the selection of papers arising from this call and
this international collaboration.
|
Software Security -- Theories and Systems - Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers (Paperback, 2003 ed.)
Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa
|
R1,802
Discovery Miles 18 020
|
Ships in 10 - 15 working days
|
For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed. This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.
In recent years, extensions of rewriting techniques that go beyond
the traditional untyped algebraic rewriting framework have been
investigated and developed. Among these extensions, conditional and
typed systems are particularly important, as are higher-order
systems, graph rewriting systems, etc. The international CTRS
(Conditional and Typed Rewriting Systems) workshops are intended to
offer a forum for researchers on such extensions of rewriting
techniques. This volume presents the proceedings of the second CTRS
workshop, which contributed to discussion and evaluation of new
directions of research. (The proceedings of the first CTRS workshop
are in Lecture Notes in Computer Science, Vol. 308.) Several
important directions for extensions of rewriting techniques were
stressed, which are reflected in the organization of the chapters
in this volume: - Theory of conditional and Horn clause systems, -
Infinite terms, non-terminating systems, and termination, -
Extension of Knuth-Bendix completion, - Combined systems, combined
languages and modularity, - Architecture, compilers and parallel
computation, - Basic frameworks for typed and order-sorted systems,
- Extension of unification and narrowing techniques.
|
Advances in Mathematical Logic - Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions (Paperback, 1st ed. 2021)
Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
|
R4,801
Discovery Miles 48 010
|
Ships in 10 - 15 working days
|
Gaisi Takeuti was one of the most brilliant, genius, and
influential logicians of the 20th century. He was a long-time
professor and professor emeritus of mathematics at the University
of Illinois at Urbana-Champaign, USA, before he passed away on May
10, 2017, at the age of 91. Takeuti was one of the founders of
Proof Theory, a branch of mathematical logic that originated from
Hilbert's program about the consistency of mathematics. Based on
Gentzen's pioneering works of proof theory in the 1930s, he
proposed a conjecture in 1953 concerning the essential nature of
formal proofs of higher-order logic now known as Takeuti's
fundamental conjecture and of which he gave a partial positive
solution. His arguments on the conjecture and proof theory in
general have had great influence on the later developments of
mathematical logic, philosophy of mathematics, and applications of
mathematical logic to theoretical computer science. Takeuti's work
ranged over the whole spectrum of mathematical logic, including set
theory, computability theory, Boolean valued analysis, fuzzy logic,
bounded arithmetic, and theoretical computer science. He wrote many
monographs and textbooks both in English and in Japanese, and his
monumental monograph Proof Theory, published in 1975, has long been
a standard reference of proof theory. He had a wide range of
interests covering virtually all areas of mathematics and extending
to physics. His publications include many Japanese books for
students and general readers about mathematical logic, mathematics
in general, and connections between mathematics and physics, as
well as many essays for Japanese science magazines. This volume is
a collection of papers based on the Symposium on Advances in
Mathematical Logic 2018. The symposium was held September 18-20,
2018, at Kobe University, Japan, and was dedicated to the memory of
Professor Gaisi Takeuti.
This Festschrift was published in honor of Andre Scedrov on the
occasion of his 65th birthday. The 11 technical papers and 3 short
papers included in this volume show the many transformative
discoveries made by Andre Scedrov in the areas of linear logic and
structural proof theory; formal reasoning for networked systems;
and foundations of information security emphasizing cryptographic
protocols. These papers are authored by researchers around the
world, including North America, Russia, Europe, and Japan, that
have been directly or indirectly impacted by Andre Scedrov. The
chapter "A Small Remark on Hilbert's Finitist View of Divisibility
and Kanovich-Okada-Scedrov's Logical Analysis of Real-Time Systems"
is available open access under a CC BY 4.0 license at
link.springer.com.
|
Advances in Mathematical Logic - Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions (Hardcover, 1st ed. 2021)
Toshiyasu Arai, Makoto Kikuchi, Satoru Kuroda, Mitsuhiro Okada, Teruyuki Yorioka
|
R3,994
Discovery Miles 39 940
|
Ships in 12 - 17 working days
|
Gaisi Takeuti was one of the most brilliant, genius, and
influential logicians of the 20th century. He was a long-time
professor and professor emeritus of mathematics at the University
of Illinois at Urbana-Champaign, USA, before he passed away on May
10, 2017, at the age of 91. Takeuti was one of the founders of
Proof Theory, a branch of mathematical logic that originated from
Hilbert's program about the consistency of mathematics. Based on
Gentzen's pioneering works of proof theory in the 1930s, he
proposed a conjecture in 1953 concerning the essential nature of
formal proofs of higher-order logic now known as Takeuti's
fundamental conjecture and of which he gave a partial positive
solution. His arguments on the conjecture and proof theory in
general have had great influence on the later developments of
mathematical logic, philosophy of mathematics, and applications of
mathematical logic to theoretical computer science. Takeuti's work
ranged over the whole spectrum of mathematical logic, including set
theory, computability theory, Boolean valued analysis, fuzzy logic,
bounded arithmetic, and theoretical computer science. He wrote many
monographs and textbooks both in English and in Japanese, and his
monumental monograph Proof Theory, published in 1975, has long been
a standard reference of proof theory. He had a wide range of
interests covering virtually all areas of mathematics and extending
to physics. His publications include many Japanese books for
students and general readers about mathematical logic, mathematics
in general, and connections between mathematics and physics, as
well as many essays for Japanese science magazines. This volume is
a collection of papers based on the Symposium on Advances in
Mathematical Logic 2018. The symposium was held September 18-20,
2018, at Kobe University, Japan, and was dedicated to the memory of
Professor Gaisi Takeuti.
The authors explain the rewarding results from the interdisciplinary collaboration between an environmental study group working on coastal ecosystems and effects of oil spills and applied mathematicians modelling wave motion on sandy beaches. By using the unified Navier-Stokes equations with a Bingham fluid model for spilled oil, multi-phase flow analysis were made. Decomposition of spilled oil by bacteria was simulated as a chemical reaction, and the theoretical and numerical analysis suggested a countermeasure to help reduce stress on coastal ecosystems. The new understanding of how ecosystems both depend upon, and help to determine, the nature of the shoreline demonstrates promising ways to better assist and exploit the regenerative powers inherent in nature.
|
|