close
1.

電子ブック

EB
Gilles Barthe, Lilian Burdy, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Traian Muntean
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック

EB
Gilles Barthe, Benjamin Gr?goire, Marieke Huisman, Takeo Kanade, Jean-Louis Lanet, Institut national de recherche en informatique et en automatique (France)
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
3.

電子ブック

EB
Gilles Barthe, Frank S. Boer, Frank S. de Boer, Takeo Kanade, IFIP Working Group 6.1.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
4.

電子ブック

EB
Gilles Barthe, C?dric Fournet
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
5.

電子ブック

EB
Alessandro Aldini, Gilles Barthe, Roberto Gorrieri, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2009
所蔵情報: loading…
目次情報: 続きを見る
Foundations of Security Analysis and Design
FOSAD 2007 / Part I:
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties / Santiago Escobar ; Catherine Meadows ; José Meseguer
FOSAD 2008 / Part II:
An Introduction to Certificate Translation / Gilles Barthe ; C&eacue;sar Kunz
Federated Identity Management / David W. Chadwick
Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment / Bart Jacobs ; Walter Pieters
FOSAD 2009 / Part III:
Logic in Access Control (Tutorial Notes) / Martín Abadi
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols / Sebastian Mödersheim ; Luca Vigan`
Verification of Concurrent Programs with Chalice / K. Rustan ; M. Leino ; Peter Müller ; Jan Smans
Certified Static Analysis by Abstract Interpretation / Frédéric Besson ; David Cachera ; Thomas Jensen ; David Pichardie
Resource Usage Analysis and Its Application to Resource Certification / Elvira Albert ; Puri Arenas ; Samir Genaim ; Germán Puebla ; Damiano Zanardini
Analysis of Security Threats, Requirements, Technologies and Standards in Wireless Sensor Networks / Javier Lopez ; Rodrigo Roman ; Cristina Alcaraz
Author Index
Foundations of Security Analysis and Design
FOSAD 2007 / Part I:
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties / Santiago Escobar ; Catherine Meadows ; José Meseguer
6.

電子ブック

EB
Gilles Barthe, Manuel Hermenegildo, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino
Static Timing Analysis for Hard Real-Time Systems / Reinhard Wilhelm ; Sebastian Altmeyer ; Claire Burguière ; Daniel Grand ; Jörg Herter ; Jan Reineke ; Björn Wachter ; Stephan Wilhelm
Invited Tutorials
Abstract Interpretation-Based Protection (Extended Abstract) / Roberto Giacobazzi
Advances in Probabilistic Model Checking (Abstract) / Joost-Pieter Katoen
Building a Calculus of Data Structures / Viktor Kuncak ; Ruzica Piskac ; Philippe Suter ; Thomas Wies
Regular Papers
Temporal Reasoning for Procedural Programs / Rajeev Alur ; Swarat Chaudhuri
Improved Model Checking of Hierarchical Systems / Benjamin Aminof ; Orna Kupferman ; Aniello Murano
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming / Lei Bu ; Jianhua Zhao ; Xuandong Li
Complexity Bounds for the Verification of Real-Time Software / Rohit Chadha ; Axel Legay ; Pavithra Prabhakar ; Mahesh Viswanathan
An Abstract Domain to Discover Interval Linear Equalities / Liqian Chen ; Antoine Miné ; Ji Wang ; Patrick Cousot
Interpolant Strength / Vijay D'Silva ; Daniel Kroening ; Mitra Purandare ; Georg Weissenbacher
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing / Jori Dubrovin
Invariant and Type Inference for Matrices / Thomas A. Henzinger ; Thibaud Hottelier ; Laura Kovács ; Andrei Voronkov
Deriving Invariants by Algorithmic Learning, Decision-Procedures, and Predicate Abstraction / Yungbum Jung ; Soonho Kong ; Bow-Yaw Wang ; Kwangkeun Yi
Automatic Abstraction for Congruences / Andy King ; Harald Søndergaard
Shape Analysis of Low-Level C with Overlapping Structures / Jörg Kreiker ; Helmut Seidl ; Vesal Vojdani
Abstract Threads / Shuvendu K. Lahiri ; Alexander Malkis ; Shaz Qadeer
Shape Analysis with Reference Set Relations / Mark Marron ; Rupak Majumdar ; Darko Stefanovic ; Deepak Kapur
Shape Analysis in the Absence of Pointers and Structure / Matthew Might
An Analysis of Permutations in Arrays / Valentin Perrelle ; Nicolas Halbwachs
Regular Linear Temporal Logic with Past / César Sánchez ; Martin Leucker
Model-Checking In-Lined Reference Monitors / Meera Sridhar ; Kevin W. Hamlen
Considerate Reasoning and the Composite Design Pattern / Alexander J. Summers ; Sophia Drossopoulou
RGSep Action Inference / Viktor Vafeiadis
Best Probabilistic Transformers / Lijun Zhang
Collections, Cardinalities, and Relations / Kuat Yessenov
Author Index
Invited Talks
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino
7.

電子ブック

EB
Gilles Barthe, Takeo Kanade
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
Verified Software Toolchain (Invited Talk) / Andrew W. Appel
Polymorphic Contracts / João Filipe Belo ; Michael Greenberg ; Atsushi Igarashi ; Benjamin C. Pierce
Proving Isolation Properties for Software Transactional Memory / Annette Bieniusa ; Peter Thiemann
Typing Copyless Message Passing / Viviana Bono ; Chiara Messa ; Luca Padovani
Measure Transformer Semantics for Bayesian Machine Learning / Johannes Borgström ; Andrew D. Gordon ; James Margetson ; Jurgen Van Gael
Transfer Function Synthesis without Quantifier Elimination / Jörg Brauer ; Andy King
Semantics of Concurrent Revisions / Sebastian Burckhardt ; Daan Leijen
Type-Based Access Control in Data-Centric Systems / Luís Caires ; Jorge A. Pérez ; João Costa Seco ; Hugo Torres Vieira ; Lúcio Ferrão
Linear Absolute Value Relation Analysis / Liqian Chen ; Antoine Miné ; Ji Wang ; Patrick Cousot
Generalizing the Template Polyhedral Domain / Michael A. Colón ; Sriram Sankaranarayanan
Dataflow Analysis for Datarace-Free Programs / Arnab De ; Deepak D'Souza ; Rupesh Nasre
Compiling Information-Flow Security to Minimal Trusted Computing Bases / Cédric Fournet ; Jérémy Planul
Improving Strategies via SMT Solving / Thomas Martin Gawlitza ; David Monniaux
Typing Local Control and State Using Flow Analysis / Arjun Guha ; Claudiu Saftoiu ; Shriram Krishnamurthi
Barriers in Concurrent Separation Logic / Aquinas Hobor ; Cristian Gherghina
From Exponential to Polynomial-Time Security Typing via Principal Types / Sebastian Hunt ; David Sands
Secure the Clones: Static Enforcement of Policies for Secure Object Copying / Thomas Jensen ; Florent Kirchner ; David Pichardie
Biochemical Reaction Rules with Constraints / Mathias John ; Cédric Lhoussaine ; Joachim Niehren ; Cristian Versari
A Testing Theory for a Higher-Order Cryptographic Language (Extended Abstract) / Vasileios Koutavas ; Matthew Hennessy
A New Method for Dependent Parsing / Trevor Jim ; Yitzhak Mandelbaum
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs
Algorithmic Nominal Game Semantics / Andrzej S. Murawski ; Nikos Tzevelekos
The Relationship between Separation Logic and Implicit Dynamic Frames / Matthew J. Parkinson ; Alexander J. Summers
Precise Interprocedural Analysis in the Presence of Pointers to the Stack / Pascal Sotin ; Bertrand Jeannet
General Bindings and Alpha-Equivalence in Nominal Isabelle / Christian Urban ; Cezary Kaliszyk
Author Index
Verified Software Toolchain (Invited Talk) / Andrew W. Appel
Polymorphic Contracts / João Filipe Belo ; Michael Greenberg ; Atsushi Igarashi ; Benjamin C. Pierce
Proving Isolation Properties for Software Transactional Memory / Annette Bieniusa ; Peter Thiemann
8.

電子ブック

EB
Jorge Cuellar, Gilles Barthe, Takeo Kanade, Javier L?pez, Alexander Pretschner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
9.

電子ブック

EB
Gilles Barthe, Takeo Kanade, Alberto Pardo, Gerardo Schneider
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
10.

電子ブック

EB
Gilles Barthe, Manuel Hermenegildo, Takeo Kanade, Association for Computing Machinery-Digital Library.
出版情報: ACM Digital Library Proceedings , Springer Berlin Heidelberg, 2010
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino
Static Timing Analysis for Hard Real-Time Systems / Reinhard Wilhelm ; Sebastian Altmeyer ; Claire Burguière ; Daniel Grand ; Jörg Herter ; Jan Reineke ; Björn Wachter ; Stephan Wilhelm
Invited Tutorials
Abstract Interpretation-Based Protection (Extended Abstract) / Roberto Giacobazzi
Advances in Probabilistic Model Checking (Abstract) / Joost-Pieter Katoen
Building a Calculus of Data Structures / Viktor Kuncak ; Ruzica Piskac ; Philippe Suter ; Thomas Wies
Regular Papers
Temporal Reasoning for Procedural Programs / Rajeev Alur ; Swarat Chaudhuri
Improved Model Checking of Hierarchical Systems / Benjamin Aminof ; Orna Kupferman ; Aniello Murano
Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming / Lei Bu ; Jianhua Zhao ; Xuandong Li
Complexity Bounds for the Verification of Real-Time Software / Rohit Chadha ; Axel Legay ; Pavithra Prabhakar ; Mahesh Viswanathan
An Abstract Domain to Discover Interval Linear Equalities / Liqian Chen ; Antoine Miné ; Ji Wang ; Patrick Cousot
Interpolant Strength / Vijay D'Silva ; Daniel Kroening ; Mitra Purandare ; Georg Weissenbacher
Checking Bounded Reachability in Asynchronous Systems by Symbolic Event Tracing / Jori Dubrovin
Invariant and Type Inference for Matrices / Thomas A. Henzinger ; Thibaud Hottelier ; Laura Kovács ; Andrei Voronkov
Deriving Invariants by Algorithmic Learning, Decision-Procedures, and Predicate Abstraction / Yungbum Jung ; Soonho Kong ; Bow-Yaw Wang ; Kwangkeun Yi
Automatic Abstraction for Congruences / Andy King ; Harald Søndergaard
Shape Analysis of Low-Level C with Overlapping Structures / Jörg Kreiker ; Helmut Seidl ; Vesal Vojdani
Abstract Threads / Shuvendu K. Lahiri ; Alexander Malkis ; Shaz Qadeer
Shape Analysis with Reference Set Relations / Mark Marron ; Rupak Majumdar ; Darko Stefanovic ; Deepak Kapur
Shape Analysis in the Absence of Pointers and Structure / Matthew Might
An Analysis of Permutations in Arrays / Valentin Perrelle ; Nicolas Halbwachs
Regular Linear Temporal Logic with Past / César Sánchez ; Martin Leucker
Model-Checking In-Lined Reference Monitors / Meera Sridhar ; Kevin W. Hamlen
Considerate Reasoning and the Composite Design Pattern / Alexander J. Summers ; Sophia Drossopoulou
RGSep Action Inference / Viktor Vafeiadis
Best Probabilistic Transformers / Lijun Zhang
Collections, Cardinalities, and Relations / Kuat Yessenov
Author Index
Invited Talks
Analysis of Systems with Stochastic Process Creation (Abstract) / Javier Esparza
Verifying Concurrent Programs with Chalice (Abstract) / K. Rustan ; M. Leino
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼