|
Showing 1 - 9 of
9 matches in All Departments
This book constitutes the refereed proceedings of the 7th
International Conference on Test and Proofs, TAP 2013, held in
Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated
Conferences. The 12 revised full papers presented together with one
tutorial were carefully reviewed and selected from 24 submissions.
The papers are devoted to the synergy of proofs and tests, to the
application of techniques from both sides and their combination for
the advancement of software quality. The papers are related to the
following topics: test generation; model-based testing and mutants;
declarative debugging; and tool testing.
Labelled deduction is an approach to providing frameworks for
presenting and using different logics in a uniform and natural way
by enriching the language of a logic with additional information of
a semantic proof-theoretical nature. Labelled deduction systems
often possess attractive properties, such as modularity in the way
that families of related logics are presented, parameterised proofs
of metatheoretic properties, and ease of mechanisability. It is
thus not surprising that labelled deduction has been applied to
problems in computer science, AI, mathematical logic, cognitive
science, philosophy and computational linguistics - for example,
formalizing and reasoning about dynamic state oriented' properties
such as knowledge, belief, time, space, and resources.
I am very happy to have this opportunity to introduce Luca Vigano's
book on Labelled Non-Classical Logics. I put forward the
methodology of labelled deductive systems to the participants of
Logic Colloquium'90 (Labelled Deductive systems, a Position Paper,
In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90,
Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin,
1993), in an attempt to bring labelling as a recognised and
significant component of our logic culture. It was a response to
earlier isolated uses of labels by various distinguished authors,
as a means to achieve local proof theoretic goals. Labelling was
used in many different areas such as resource labelling in
relevance logics, prefix tableaux in modal logics, annotated logic
programs in logic programming, proof tracing in truth maintenance
systems, and various side annotations in higher-order proof theory,
arithmetic and analysis. This widespread local use of labels was an
indication of an underlying logical pattern, namely the
simultaneous side-by-side manipulation of several kinds of logical
information. It was clear that there was a need to establish the
labelled deductive systems methodology. Modal logic is one major
area where labelling can be developed quickly and sys tematically
with a view of demonstrating its power and significant advantage.
In modal logic the labels can play a double role."
The Joint Workshop on "Automated Reasoning for Security Protocol
Analysis and Issues in the Theory of Security" (ARSPA-WITS 2009)
was held in York, UK, March 28-29, 2009, in association with ETAPS
2009. ARSPA is a series of workshops on "Automated Reasoning for
Security P- tocol Analysis," bringing together researchers and
practitioners from both the security andthe formalmethods
communities,from academiaand industry,who are working on developing
and applying automated reasoning techniques and tools for the
formal speci?cation and analysis of security protocols. The ?rst
two ARSPA workshops were held as satellite events of the Second
International JointConferenceon Automated Reasoning(IJCAR
2004)andof the 32nd Int-
nationalColloquiumonAutomata,LanguagesandProgramming(ICALP2005),
respectively. ARSPA then joined forces with the workshop FCS
(Foundations of Computer Security): FCS-ARSPA 2006 was a?liated
with LICS 2006, in the context of FLoC 2006,and FCS-ARSPA 2007 was
a?liated with LICS 2007 and ICALP 2007.
WITSistheo?cialannualworkshoporganizedbytheIFIP WG1.7on"T- oretical
Foundations of Security Analysis and Design," established to
promote the investigation on the theoretical foundations of
security, discovering and p- moting new areas of application of
theoretical techniques in computer security and supporting the
systematic use of formal techniques in the development of
security-related applications. This is the ninth meeting in the
series. In 2008, ARSPA and WITS joined with the workshop on
Foundations of Computer -
curityFCSforajointworkshop,FCS-ARSPA-WITS2008,associatedwithLICS
2008 and CSF 21.
Labelled deduction is an approach to providing frameworks for
presenting and using different logics in a uniform and natural way
by enriching the language of a logic with additional information of
a semantic proof-theoretical nature. Labelled deduction systems
often possess attractive properties, such as modularity in the way
that families of related logics are presented, parameterised proofs
of metatheoretic properties, and ease of mechanisability. It is
thus not surprising that labelled deduction has been applied to
problems in computer science, AI, mathematical logic, cognitive
science, philosophy and computational linguistics - for example,
formalizing and reasoning about dynamic state oriented' properties
such as knowledge, belief, time, space, and resources.
I am very happy to have this opportunity to introduce Luca Vigano's
book on Labelled Non-Classical Logics. I put forward the
methodology of labelled deductive systems to the participants of
Logic Colloquium'90 (Labelled Deductive systems, a Position Paper,
In J. Oikkonen and J. Vaananen, editors, Logic Colloquium '90,
Volume 2 of Lecture Notes in Logic, pages 66-68, Springer, Berlin,
1993), in an attempt to bring labelling as a recognised and
significant component of our logic culture. It was a response to
earlier isolated uses of labels by various distinguished authors,
as a means to achieve local proof theoretic goals. Labelling was
used in many different areas such as resource labelling in
relevance logics, prefix tableaux in modal logics, annotated logic
programs in logic programming, proof tracing in truth maintenance
systems, and various side annotations in higher-order proof theory,
arithmetic and analysis. This widespread local use of labels was an
indication of an underlying logical pattern, namely the
simultaneous side-by-side manipulation of several kinds of logical
information. It was clear that there was a need to establish the
labelled deductive systems methodology. Modal logic is one major
area where labelling can be developed quickly and sys tematically
with a view of demonstrating its power and significant advantage.
In modal logic the labels can play a double role."
This book constitutes the refereed post-conference proceedings of
the 10th International Workshop on Socio-Technical Aspects in
Security and Trust, STAST 2020, held as a virtual event, in
September 2020. The 8 full papers and 3 short papers presented in
this volume were carefully reviewed and selected from 42
submissions and are organized in the following topical sections:
personality and behavior; behavior in face of adversaries; smart
environments; decentralized systems and digital ledgers; and
reflections on socio-technical aspects of security. The Chapter
"Statistical Reliability of 10 Years of Cyber Security User
Studies" is available open access under a Creative Commons
Attribution 4.0 International License via link.springer.com.
This book constitutes revised selected papers from the refereed
conference proceedings of the 11th International Workshop on
Socio-Technical Aspects in Security and Trust, STAST 2021, held in
conjunction with ESORICS, the European Symposium on Research in
Computer Security, as a virtual event, in October 2021. The 10 full
papers included in this book were carefully reviewed and selected
from 25 submissions. They were organized in topical sections as
follows: web and apps; context and modelling; and from the present
to the future.
|
Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings (Paperback, 1st ed. 2016)
Frank Piessens, Luca Vigano
|
R2,393
Discovery Miles 23 930
|
Ships in 10 - 15 working days
|
This book constitutes the proceedings of the 5th International
Conference on Principles of Security and Trust, POST 2016, which
took place in Eindhoven, The Netherlands, in April 2016, held as
Part of the European Joint Conferences on Theory and Practice of
Software, ETAPS 2016. The 12 full papers presented in this volume
were carefully reviewed and selected from 35 submissions. They were
organized in topical sections named: information flow; models and
applications; protocols.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|