@article{DHS12,
author = {Mariangiola Dezani-Ciancaglini and
Ross Horne and
Vladimiro Sassone},
title = {Tracing where and who provenance in Linked Data: A calculus},
journal = {Theor. Comput. Sci.},
volume = {464},
year = {2012},
pages = {113-129},
ee = {http://dx.doi.org/10.1016/j.tcs.2012.06.020},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{GJ03,
author = {Andrew D. Gordon and
Alan Jeffrey},
title = {Typing correspondence assertions for communication protocols},
journal = {Theor. Comput. Sci.},
volume = {300},
number = {1-3},
year = {2003},
pages = {379-409},
ee = {http://dx.doi.org/10.1016/S0304-3975(02)00333-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{corinD07,
author = {Ricardo Corin and
Pierre-Malo Deni{\'e}lou},
title = {A Protocol Compiler for Secure Sessions in ML},
year = {2007},
pages = {276-293},
ee = {http://dx.doi.org/10.1007/978-3-540-78663-4_19},
crossref = {DBLP:conf/tgc/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/tgc/2007,
editor = {Gilles Barthe and
C{\'e}dric Fournet},
booktitle = {Trustworthy Global Computing, Third Symposium, TGC 2007,
Sophia-Antipolis, France, November 5-6, 2007, Revised Selected
Papers},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4912},
year = {2008},
isbn = {978-3-540-78662-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{cairestcs08,
author = {Lu\'{\i}s Caires},
title = {Spatial-behavioral types for concurrency and resource control
in distributed systems},
journal = {Theor. Comput. Sci.},
volume = {402},
number = {2-3},
year = {2008},
pages = {120-141},
ee = {http://dx.doi.org/10.1016/j.tcs.2008.04.030},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:journals/corr/abs-1211-4099,
author = {Pedro Baltazar and
Dimitris Mostrous and
Vasco Thudichum Vasconcelos},
title = {Linearly Refined Session Types},
year = {2012},
pages = {38-49},
ee = {http://dx.doi.org/10.4204/EPTCS.101.4},
crossref = {DBLP:journals/corr/abs-1211-3480},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:journals/corr/abs-1211-3480,
editor = {Sandra Alves and
Ian Mackie},
booktitle = {Proceedings 2nd International Workshop on Linearity},
series = {EPTCS},
volume = {101},
year = {2012},
ee = {http://dx.doi.org/10.4204/EPTCS.101},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{francobeat13,
author = {Juliana Franco and Vasco Thudichum Vasconcelos},
title = {A concurrent programming language with refined session types},
year = {2013},
pages = {33-42},
editor = {Simon Gay},
booktitle = {2nd International Workshop on Behavioural Types, BEAT 2, Madrid, Spain, September 23-24, 2013, Pre-proceedings},
publisher = {University Complutense of Madrid},
}
@inproceedings{kouzapasbeat13,
author = {Dimitrios Kouzapas and Anna Philippou},
title = {A Typing System for Privacy},
year = {2013},
pages = {51-60},
editor = {Simon Gay},
booktitle = {2nd International Workshop on Behavioural Types, BEAT 2, Madrid, Spain, September 23-24, 2013, Pre-proceedings},
publisher = {University Complutense of Madrid},
}
@article{DBLP:journals/acta/Kobayashi05,
author = {Naoki Kobayashi},
title = {Type-based information flow analysis for the pi-calculus},
journal = {Acta Inf.},
volume = {42},
number = {4-5},
year = {2005},
pages = {291-347},
ee = {http://dx.doi.org/10.1007/s00236-005-0179-x},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/icalp/HennessyR00,
author = {Matthew Hennessy and
James Riely},
title = {Information Flow vs. Resource Access in the Asynchronous
Pi-Calculus},
year = {2000},
pages = {415-427},
ee = {http://dx.doi.org/10.1007/3-540-45022-X_35},
crossref = {DBLP:conf/icalp/2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/icalp/2000,
editor = {Ugo Montanari and
Jos{\'e} D. P. Rolim and
Emo Welzl},
booktitle = {Automata, Languages and Programming, 27th International
Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15,
2000, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1853},
year = {2000},
isbn = {3-540-67715-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/jfp/HondaY05,
author = {Kohei Honda and
Nobuko Yoshida},
title = {Noninterference through flow analysis},
journal = {J. Funct. Program.},
volume = {15},
number = {2},
year = {2005},
pages = {293-349},
ee = {http://dx.doi.org/10.1017/S0956796804005477},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/toplas/HondaY07,
author = {Kohei Honda and
Nobuko Yoshida},
title = {A uniform type structure for secure information flow},
journal = {ACM Trans. Program. Lang. Syst.},
volume = {29},
number = {6},
year = {2007},
ee = {http://doi.acm.org/10.1145/1286821.1286822},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/jlp/YoshidaHB07,
author = {Nobuko Yoshida and
Kohei Honda and
Martin Berger},
title = {Linearity and bisimulation},
journal = {J. Log. Algebr. Program.},
volume = {72},
number = {2},
year = {2007},
pages = {207-238},
ee = {http://dx.doi.org/10.1016/j.jlap.2007.02.011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{carbonepost13,
author = {Marco Carbone and
Joshua D. Guttman},
title = {Sessions and Separability in Security Protocols},
year = {2013},
pages = {267-286},
ee = {http://dx.doi.org/10.1007/978-3-642-36830-1_14},
crossref = {DBLP:conf/post/2013},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/post/2013,
editor = {David A. Basin and
John C. Mitchell},
booktitle = {Principles of Security and Trust - Second International
Conference, POST 2013, Held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2013,
Rome, Italy, March 16-24, 2013. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7796},
year = {2013},
isbn = {978-3-642-36829-5},
ee = {http://dx.doi.org/10.1007/978-3-642-36830-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{lapadulafsen07,
author = {Alessandro Lapadula and
Rosario Pugliese and
Francesco Tiezzi},
title = {Regulating Data Exchange in Service Oriented Applications},
year = {2007},
pages = {223-239},
ee = {http://dx.doi.org/10.1007/978-3-540-75698-9_15},
crossref = {DBLP:conf/fsen/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/fsen/2007,
editor = {Farhad Arbab and
Marjan Sirjani},
booktitle = {International Symposium on Fundamentals of Software Engineering,
International Symposium, FSEN 2007, Tehran, Iran, April
17-19, 2007, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4767},
year = {2007},
isbn = {978-3-540-75697-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{acciaiiandc12,
author = {Lucia Acciai and
Michele Boreale},
title = {Deciding Safety Properties in Infinite-State $\pi$-Calculus
via Behavioural Types},
journal = {Inf. Comput.},
volume = {212},
year = {2012},
pages = {92-117},
ee = {http://dx.doi.org/10.1016/j.ic.2012.01.006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{acciaiiandc10,
author = {Lucia Acciai and
Michele Boreale},
title = {Spatial and Behavioral Types in the $\pi$-Calculus},
journal = {Inf. Comput.},
volume = {208},
number = {10},
year = {2010},
pages = {1118-1153},
ee = {http://dx.doi.org/10.1016/j.ic.2009.10.011},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{ghilezantar12,
number = {2},
volume = {8},
author = {Silvia Ghilezan and Svetlana Jaksic and Jovanka Pantovic and
Mariangiola Dezani-Ciancaglini},
url = {http://www.di.unito.it/~dezani/papers/gjpd.pdf},
title = {Types and Roles for Web Security},
journal = {Transactions on Advanced Research},
year = {2012},
pages = {16-21}
}
@inproceedings{jaksicictcs12,
author = {Svetlana Jaksic},
title = {Input/Output Types for Dynamic Web Data},
year = {2012},
crossref = {DBLP:conf/ictcs/2012}
}
@proceedings{DBLP:conf/ictcs/2012,
booktitle = {Theoretical Computer Science, 13th Italian Conference, ICTCS
2012, Varese, Italy, September 19-21, 2012, Proceedings},
year = {2012}
}
@article{dezanitcs08,
author = {Mariangiola Dezani-Ciancaglini and
Silvia Ghilezan and
Jovanka Pantovic and
Daniele Varacca},
title = {Security Types for Dynamic Web Data},
journal = {Theor. Comput. Sci.},
volume = {402},
number = {2-3},
year = {2008},
pages = {156-171},
ee = {http://dx.doi.org/10.1016/j.tcs.2008.04.032},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{dezaniwflp10,
author = {Mariangiola Dezani-Ciancaglini and
Silvia Ghilezan and
Svetlana Jaksic and
Jovanka Pantovic},
title = {Types for Role-Based Access Control of Dynamic Web Data},
year = {2010},
pages = {1-29},
ee = {http://dx.doi.org/10.1007/978-3-642-20775-4_1},
crossref = {DBLP:conf/wflp/2010},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/wflp/2010,
editor = {Julio Mari{\~n}o},
booktitle = {Functional and Constraint Logic Programming - 19th International
Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised
Selected Papers},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6559},
year = {2011},
isbn = {978-3-642-20774-7},
ee = {http://dx.doi.org/10.1007/978-3-642-20775-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{cairespopl13,
author = {Lu\'{\i}s Caires and
Jo{\~a}o Costa Seco},
title = {The type discipline of behavioral separation},
year = {2013},
pages = {275-286},
ee = {http://doi.acm.org/10.1145/2429069.2429103},
crossref = {DBLP:conf/popl/2013},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/popl/2013,
editor = {Roberto Giacobazzi and
Radhia Cousot},
booktitle = {The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles
of Programming Languages, POPL '13, Rome, Italy - January
23 - 25, 2013},
publisher = {ACM},
year = {2013},
isbn = {978-1-4503-1832-7},
ee = {http://dl.acm.org/citation.cfm?id=2429069},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{pfenningcpp11,
author = {Frank Pfenning and
Lu\'{\i}s Caires and
Bernardo Toninho},
title = {Proof-Carrying Code in a Session-Typed Process Calculus},
year = {2011},
pages = {21-36},
ee = {http://dx.doi.org/10.1007/978-3-642-25379-9_4},
crossref = {DBLP:conf/cpp/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/cpp/2011,
editor = {Jean-Pierre Jouannaud and
Zhong Shao},
booktitle = {Certified Programs and Proofs - First International Conference,
CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7086},
year = {2011},
isbn = {978-3-642-25378-2},
ee = {http://dx.doi.org/10.1007/978-3-642-25379-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{dahlatva11,
author = {Morten Dahl and
Naoki Kobayashi and
Yunde Sun and
Hans H{\"u}ttel},
title = {Type-Based Automated Verification of Authenticity in Asymmetric
Cryptographic Protocols},
year = {2011},
pages = {75-89},
ee = {http://dx.doi.org/10.1007/978-3-642-24372-1_7},
crossref = {DBLP:conf/atva/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/atva/2011,
editor = {Tevfik Bultan and
Pao-Ann Hsiung},
booktitle = {Automated Technology for Verification and Analysis, 9th
International Symposium, ATVA 2011, Taipei, Taiwan, October
11-14, 2011. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6996},
year = {2011},
isbn = {978-3-642-24371-4},
ee = {http://dx.doi.org/10.1007/978-3-642-24372-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{heideggerpopl12,
author = {Phillip Heidegger and
Annette Bieniusa and
Peter Thiemann},
title = {Access Permission Contracts for Scripting Languages},
year = {2012},
pages = {111-122},
ee = {http://doi.acm.org/10.1145/2103656.2103671},
crossref = {DBLP:conf/popl/2012},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/popl/2012,
editor = {John Field and
Michael Hicks},
booktitle = {Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages, POPL 2012, Philadelphia,
Pennsylvania, USA, January 22-28, 2012},
publisher = {ACM},
year = {2012},
isbn = {978-1-4503-1083-3},
ee = {http://dl.acm.org/citation.cfm?id=2103656},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{capecchiconcur10,
author = {Sara Capecchi and
Ilaria Castellani and
Mariangiola Dezani-Ciancaglini and
Tamara Rezk},
title = {Session Types for Access and Information Flow Control},
year = {2010},
pages = {237-252},
ee = {http://dx.doi.org/10.1007/978-3-642-15375-4_17},
crossref = {DBLP:conf/concur/2010},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/concur/2010,
editor = {Paul Gastin and
Fran\c{c}ois Laroussinie},
booktitle = {CONCUR 2010 - Concurrency Theory, 21th International Conference,
CONCUR 2010, Paris, France, August 31-September 3, 2010.
Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6269},
year = {2010},
isbn = {978-3-642-15374-7},
ee = {http://dx.doi.org/10.1007/978-3-642-15375-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{capecchiexpress11,
author = {Sara Capecchi and
Ilaria Castellani and
Mariangiola Dezani-Ciancaglini},
title = {Information Flow Safety in Multiparty Sessions},
year = {2011},
pages = {16-30},
ee = {http://dx.doi.org/10.4204/EPTCS.64.2},
crossref = {DBLP:journals/corr/abs-1108-4077},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:journals/corr/abs-1108-4077,
editor = {Bas Luttik and
Frank Valencia},
booktitle = {Proceedings 18th International Workshop on Expressiveness
in Concurrency},
series = {EPTCS},
volume = {64},
year = {2011},
ee = {http://dx.doi.org/10.4204/EPTCS.64},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{bonotgc11,
author = {Viviana Bono and
Sara Capecchi and
Ilaria Castellani and
Mariangiola Dezani-Ciancaglini},
title = {A Reputation System for Multirole Sessions},
year = {2011},
pages = {1-24},
ee = {http://dx.doi.org/10.1007/978-3-642-30065-3_1},
crossref = {DBLP:conf/tgc/2011},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/tgc/2011,
editor = {Roberto Bruni and
Vladimiro Sassone},
booktitle = {Trustworthy Global Computing - 6th International Symposium,
TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected
Papers},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {7173},
year = {2012},
isbn = {978-3-642-30064-6},
ee = {http://dx.doi.org/10.1007/978-3-642-30065-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{capecchiiandc13,
author = {Sara Capecchi and
Ilaria Castellani and
Mariangiola Dezani-Ciancaglini},
title = {Typing Access Control and Secure Information Flow in Sessions},
journal = {Inf. Comput.},
year = {2013},
note = {To appear}
}
@inproceedings{baltazartgc12,
author = {Pedro Baltazar and
Lu\'{\i}s Caires and
Vasco Thudichum Vasconcelos and
Hugo Torres Vieira},
title = {A Type System for Flexible Role Assignment in Multiparty Communicating Systems},
year = {2012},
crossref = {DBLP:conf/tgc/2012}
} @proceedings{DBLP:conf/tgc/2012,
editor = {Catuscia Palamidessi and
Mark Ryan},
booktitle = {Trustworthy Global Computing, 7th International Symposium,
TGC 2012, Newcastle upon Tyne, Uk, September 7-8, 2012, Revised
Selected Papers},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
year = {2013},
note = {To appear}
}
@inproceedings{planulconcur09,
author = {J{\'e}r{\'e}my Planul and
Ricardo Corin and
C{\'e}dric Fournet},
title = {Secure Enforcement for Global Process Specifications},
year = {2009},
pages = {511-526},
ee = {http://dx.doi.org/10.1007/978-3-642-04081-8_34},
crossref = {DBLP:conf/concur/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/concur/2009,
editor = {Mario Bravetti and
Gianluigi Zavattaro},
booktitle = {CONCUR 2009 - Concurrency Theory, 20th International Conference,
CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5710},
year = {2009},
isbn = {978-3-642-04080-1},
ee = {http://dx.doi.org/10.1007/978-3-642-04081-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{bhargavantiss07,
author = {Karthikeyan Bhargavan and
Ricardo Corin and
C{\'e}dric Fournet and
Andrew D. Gordon},
title = {Secure Sessions for Web Services},
journal = {ACM Trans. Inf. Syst. Secur.},
volume = {10},
number = {2},
year = {2007},
ee = {http://doi.acm.org/10.1145/1237500.1237504},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{bonellijfp05,
author = {Eduardo Bonelli and
Adriana B. Compagnoni and
Elsa L. Gunter},
title = {Correspondence Assertions for Process Synchronization in
Concurrent Communications},
journal = {J. Funct. Program.},
volume = {15},
number = {2},
year = {2005},
pages = {219-247},
ee = {http://dx.doi.org/10.1017/S095679680400543X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{kolundzijawsfm08,
author = {Marija Kolundzija},
title = {Security Types for Sessions and Pipelines},
year = {2008},
pages = {175-190},
ee = {http://dx.doi.org/10.1007/978-3-642-01364-5_11},
crossref = {DBLP:conf/wsfm/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/wsfm/2008,
editor = {Roberto Bruni and
Karsten Wolf},
booktitle = {Web Services and Formal Methods, 5th International Workshop,
WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected
Papers},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5387},
year = {2009},
isbn = {978-3-642-01363-8},
ee = {http://dx.doi.org/10.1007/978-3-642-01364-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{bhargavancsf09,
author = {Karthikeyan Bhargavan and
Ricardo Corin and
Pierre-Malo Deni{\'e}lou and
C{\'e}dric Fournet and
James J. Leifer},
title = {Cryptographic Protocol Synthesis and Verification for Multiparty
Sessions},
year = {2009},
pages = {124-140},
ee = {http://doi.ieeecomputersociety.org/10.1109/CSF.2009.26},
crossref = {DBLP:conf/csfw/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/csfw/2009,
booktitle = {Proceedings of the 22nd IEEE Computer Security Foundations
Symposium, CSF 2009, Port Jefferson, New York, USA, July
8-10, 2009},
publisher = {IEEE Computer Society},
year = {2009},
isbn = {978-0-7695-3712-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{corinjcs08,
author = {Ricardo Corin and
Pierre-Malo Deni{\'e}lou and
C{\'e}dric Fournet and
Karthikeyan Bhargavan and
James J. Leifer},
title = {A Secure Compiler for Session Abstractions},
journal = {Journal of Computer Security},
volume = {16},
number = {5},
year = {2008},
pages = {573-636},
ee = {http://dx.doi.org/10.3233/JCS-2008-0334},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{corincsf07,
author = {Ricardo Corin and
Pierre-Malo Deni{\'e}lou and
C{\'e}dric Fournet and
Karthikeyan Bhargavan and
James J. Leifer},
title = {Secure Implementations for Typed Session Abstractions},
year = {2007},
pages = {170-186},
ee = {http://dx.doi.org/10.1109/CSF.2007.29},
crossref = {DBLP:conf/csfw/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
} @proceedings{DBLP:conf/csfw/2007,
booktitle = {20th IEEE Computer Security Foundations Symposium, CSF 2007,
6-8 July 2007, Venice, Italy},
publisher = {IEEE Computer Society},
year = {2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}