


Остановите войну!
for scientists:
Massimo Bartoletti
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j28]Massimo Bartoletti, Stefano Lande, Maurizio Murgia
, Roberto Zunino:
Verifying liquidity of recursive Bitcoin contracts. Log. Methods Comput. Sci. 18(1) (2022) - [c61]Massimo Bartoletti, Maurizio Murgia, Roberto Zunino:
A Sound Up-to-n, δ Bisimilarity for PCTL. COORDINATION 2022: 35-52 - [i32]Massimo Bartoletti, James Hsin-yu Chiang, Tommi Junttila, Alberto Lluch-Lafuente, Massimiliano Mirelli, Andrea Vandin:
Formal Analysis of Lending Pools in Decentralized Finance. CoRR abs/2206.01333 (2022) - 2021
- [j27]Massimo Bartoletti
, Stefano Lande
, Andrea Loddo
, Livio Pompianu
, Sergio Serusi:
Cryptocurrency Scams: Analysis and Perspectives. IEEE Access 9: 148353-148373 (2021) - [j26]Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A theory of transaction parallelism in blockchains. Log. Methods Comput. Sci. 17(4) (2021) - [c60]Massimo Bartoletti
, James Hsin-yu Chiang
, Alberto Lluch-Lafuente
:
A Theory of Automated Market Makers in DeFi. COORDINATION 2021: 168-187 - [c59]Massimo Bartoletti, Stefano Lande, Roberto Zunino:
Computationally sound Bitcoin tokens. CSF 2021: 1-15 - [c58]Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino:
A Formal Model of Algorand Smart Contracts. Financial Cryptography (1) 2021: 93-114 - [c57]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
:
Towards a Theory of Decentralized Finance. Financial Cryptography Workshops 2021: 227-232 - [c56]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente
:
SoK: Lending Pools in Decentralized Finance. Financial Cryptography Workshops 2021: 553-578 - [i31]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
A theory of Automated Market Makers in DeFi. CoRR abs/2102.11350 (2021) - [i30]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
Maximizing Extractable Value from Automated Market Makers. CoRR abs/2106.01870 (2021) - [i29]Massimo Bartoletti, Maurizio Murgia, Roberto Zunino:
A Sound Up-to-$n$, $δ$ Bisimilarity for PCTL. CoRR abs/2111.03117 (2021) - 2020
- [j25]Massimo Bartoletti:
Smart Contracts Contracts. Frontiers Blockchain 3: 27 (2020) - [j24]Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia
:
Dissecting Ponzi schemes on Ethereum: Identification, analysis, and impact. Future Gener. Comput. Syst. 102: 259-277 (2020) - [c55]Massimo Bartoletti
, Letterio Galletta
, Maurizio Murgia
:
A True Concurrent Model of Smart Contracts Executions. COORDINATION 2020: 243-260 - [c54]Massimo Bartoletti, Maurizio Murgia
, Roberto Zunino:
Renegotiation and Recursion in Bitcoin Contracts. COORDINATION 2020: 261-278 - [c53]Massimo Bartoletti, Stefano Lande, Roberto Zunino:
Bitcoin Covenants Unchained. ISoLA (3) 2020: 25-42 - [i28]Massimo Bartoletti, Maurizio Murgia, Roberto Zunino:
Renegotiation and recursion in Bitcoin contracts. CoRR abs/2003.00296 (2020) - [i27]Massimo Bartoletti, Stefano Lande, Roberto Zunino:
Bitcoin covenants unchained. CoRR abs/2006.03918 (2020) - [i26]Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas, Roberto Zunino:
A formal model of Algorand smart contracts. CoRR abs/2009.12140 (2020) - [i25]Massimo Bartoletti, Stefano Lande, Roberto Zunino:
Computationally sound Bitcoin tokens. CoRR abs/2010.01347 (2020) - [i24]Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A theory of transaction parallelism in blockchains. CoRR abs/2011.13837 (2020) - [i23]Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino:
Verification of recursive Bitcoin contracts. CoRR abs/2011.14165 (2020) - [i22]Massimo Bartoletti, James Hsin-yu Chiang, Alberto Lluch-Lafuente:
SoK: Lending Pools in Decentralized Finance. CoRR abs/2012.13230 (2020)
2010 – 2019
- 2019
- [j23]Massimo Bartoletti, Roberto Zunino:
Formal Models of Bitcoin Contracts: A Survey. Frontiers Blockchain 2: 8 (2019) - [j22]Massimo Bartoletti, Bryn Bellomy, Livio Pompianu
:
A Journey into Bitcoin Metadata. J. Grid Comput. 17(1): 3-22 (2019) - [j21]Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight:
Preface for the special issue on Interaction and Concurrency Experience 2017. J. Log. Algebraic Methods Program. 109 (2019) - [c52]Massimo Bartoletti, Letterio Galletta
, Maurizio Murgia
:
A Minimal Core Calculus for Solidity Contracts. DPM/CBT@ESORICS 2019: 233-243 - [c51]Massimo Bartoletti, Roberto Zunino:
Verifying Liquidity of Bitcoin Contracts. POST 2019: 222-247 - [c50]Nicola Atzei, Massimo Bartoletti, Stefano Lande
, Nobuko Yoshida
, Roberto Zunino:
Developing secure bitcoin contracts with BitML. ESEC/SIGSOFT FSE 2019: 1124-1128 - [e6]Massimo Bartoletti, Annalisa Barla, Andrea Bracciali, Gunnar W. Klau, Leif E. Peterson, Alberto Policriti, Roberto Tagliaferri:
Computational Intelligence Methods for Bioinformatics and Biostatistics - 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10834, Springer 2019, ISBN 978-3-030-14159-2 [contents] - [e5]Paolo Mori, Massimo Bartoletti, Stefano Bistarelli:
Proceedings of the Second Distributed Ledger Technology Workshop, DLT@ITASEC 2019, Pisa, Italy, February 12, 2019. CEUR Workshop Proceedings 2334, CEUR-WS.org 2019 [contents] - [e4]Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou, Alceste Scalas:
Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019. EPTCS 304, 2019 [contents] - [i21]Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A true concurrent model of smart contracts executions. CoRR abs/1905.04366 (2019) - [i20]Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino:
Developing secure Bitcoin contracts with BitML. CoRR abs/1905.07639 (2019) - [i19]Massimo Bartoletti, Letterio Galletta, Maurizio Murgia:
A minimal core calculus for Solidity contracts. CoRR abs/1908.02709 (2019) - 2018
- [j20]Massimo Bartoletti, Ludovic Henrio, Sophia Knight, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2016. J. Log. Algebraic Methods Program. 98: 26 (2018) - [c49]Massimo Bartoletti, Roberto Zunino:
BitML: A Calculus for Bitcoin Smart Contracts. CCS 2018: 83-100 - [c48]Massimo Bartoletti, Laura Bocchi, Maurizio Murgia
:
Progress-Preserving Refinements of CTA. CONCUR 2018: 40:1-40:19 - [c47]Massimo Bartoletti, Barbara Pes, Sergio Serusi:
Data Mining for Detecting Bitcoin Ponzi Schemes. CVCBT 2018: 75-84 - [c46]Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino:
A Formal Model of Bitcoin Transactions. Financial Cryptography 2018: 541-560 - [c45]Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu
, Sergio Serusi:
Blockchain for social good: a quantitative analysis. GOODTECHS 2018: 37-42 - [c44]Massimo Bartoletti, Tiziana Cimoli
, Roberto Zunino:
Fun with Bitcoin Smart Contracts. ISoLA (4) 2018: 432-449 - [c43]Nicola Atzei
, Massimo Bartoletti
, Tiziana Cimoli
, Stefano Lande
, Roberto Zunino
:
SoK: Unraveling Bitcoin Smart Contracts. POST 2018: 217-242 - [e3]Massimo Bartoletti, Sophia Knight:
Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018. EPTCS 279, 2018 [contents] - [i18]Massimo Bartoletti, Barbara Pes, Sergio Serusi:
Data mining for detecting Bitcoin Ponzi schemes. CoRR abs/1803.00646 (2018) - [i17]Massimo Bartoletti, Tiziana Cimoli, Livio Pompianu, Sergio Serusi:
Blockchain for social good: a quantitative analysis. CoRR abs/1811.03424 (2018) - [i16]Massimo Bartoletti, Roberto Zunino:
BitML: a calculus for Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018: 122 (2018) - [i15]Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli, Stefano Lande, Roberto Zunino:
SoK: unraveling Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018: 192 (2018) - [i14]Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino:
Fun with Bitcoin smart contracts. IACR Cryptol. ePrint Arch. 2018: 398 (2018) - [i13]Massimo Bartoletti, Roberto Zunino:
Verifying liquidity of Bitcoin contracts. IACR Cryptol. ePrint Arch. 2018: 1125 (2018) - 2017
- [j19]Massimo Bartoletti
, Maurizio Murgia
, Alceste Scalas
, Roberto Zunino:
Verifiable abstractions for contract-oriented systems. J. Log. Algebraic Methods Program. 86(1): 159-207 (2017) - [j18]Massimo Bartoletti, Tiziana Cimoli
, Maurizio Murgia
:
Timed Session Types. Log. Methods Comput. Sci. 13(4) (2017) - [c42]Massimo Bartoletti, Livio Pompianu
:
An Analysis of Bitcoin OP_RETURN Metadata. Financial Cryptography Workshops 2017: 218-230 - [c41]Massimo Bartoletti, Roberto Zunino:
Constant-Deposit Multiparty Lotteries on Bitcoin. Financial Cryptography Workshops 2017: 231-247 - [c40]Massimo Bartoletti, Livio Pompianu
:
An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns. Financial Cryptography Workshops 2017: 494-509 - [c39]Massimo Bartoletti, Stefano Lande
, Alessandro Sebastian Podda
:
A Proof-of-Stake Protocol for Consensus on Bitcoin Subchains. Financial Cryptography Workshops 2017: 568-584 - [c38]Massimo Bartoletti, Stefano Lande
, Livio Pompianu
, Andrea Bracciali:
A general framework for blockchain analytics. SERIAL@Middleware 2017: 7:1-7:6 - [c37]Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli
:
A Survey of Attacks on Ethereum Smart Contracts (SoK). POST 2017: 164-186 - [e2]Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight:
Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017. EPTCS 261, 2017 [contents] - [i12]Massimo Bartoletti, Livio Pompianu:
An analysis of Bitcoin OP_RETURN metadata. CoRR abs/1702.01024 (2017) - [i11]Massimo Bartoletti, Salvatore Carta, Tiziana Cimoli, Roberto Saia:
Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact. CoRR abs/1703.03779 (2017) - [i10]Massimo Bartoletti, Livio Pompianu:
An empirical analysis of smart contracts: platforms, applications, and design patterns. CoRR abs/1703.06322 (2017) - [i9]Massimo Bartoletti, Andrea Bracciali, Stefano Lande, Livio Pompianu:
A general framework for Bitcoin analytics. CoRR abs/1707.01021 (2017) - [i8]Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia:
Timed Session Types. CoRR abs/1710.05388 (2017) - [i7]Massimo Bartoletti, Stefano Lande, Alessandro Sebastian Podda:
A Proof-of-Stake protocol for consensus on Bitcoin subchains. IACR Cryptol. ePrint Arch. 2017: 417 (2017) - [i6]Nicola Atzei, Massimo Bartoletti, Stefano Lande, Roberto Zunino:
A formal model of Bitcoin transactions. IACR Cryptol. ePrint Arch. 2017: 1124 (2017) - 2016
- [j17]Massimo Bartoletti, Alceste Scalas
, Emilio Tuosto, Roberto Zunino:
Honesty by Typing. Log. Methods Comput. Sci. 12(4) (2016) - [j16]Massimo Bartoletti, Tiziana Cimoli
, G. Michele Pinna, Roberto Zunino:
Contracts as games on event structures. J. Log. Algebraic Methods Program. 85(3): 399-424 (2016) - [c36]Nicola Atzei, Massimo Bartoletti
:
Developing Honest Java Programs with Diogenes. FORTE 2016: 52-61 - [c35]Massimo Bartoletti, Stefano Lande
, Alessandro Massa:
Faderank: An Incremental Algorithm for Ranking Twitter Users. WISE (2) 2016: 55-69 - [e1]Massimo Bartoletti
, Ludovic Henrio, Sophia Knight
, Hugo Torres Vieira:
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. EPTCS 223, 2016 [contents] - [i5]Massimo Bartoletti, Roberto Zunino:
Constant-deposit multiparty lotteries on Bitcoin. IACR Cryptol. ePrint Arch. 2016: 955 (2016) - [i4]Nicola Atzei, Massimo Bartoletti, Tiziana Cimoli:
A survey of attacks on Ethereum smart contracts. IACR Cryptol. ePrint Arch. 2016: 1007 (2016) - 2015
- [j15]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini
, Silvia Ghilezan
, Jovanka Pantovic
, Jorge A. Pérez
, Peter Thiemann, Bernardo Toninho
, Hugo Torres Vieira:
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84(6): 763-780 (2015) - [j14]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
, Roberto Zunino:
Model checking usage policies. Math. Struct. Comput. Sci. 25(3): 710-763 (2015) - [j13]Massimo Bartoletti
, Julien Lange
, Alceste Scalas
, Roberto Zunino:
Choreographies in the wild. Sci. Comput. Program. 109: 36-60 (2015) - [j12]Massimo Bartoletti
, Tiziana Cimoli
, Paolo Di Giamberardino, Roberto Zunino:
Vicious circles in contracts and in logic. Sci. Comput. Program. 109: 61-95 (2015) - [j11]Massimo Bartoletti
, Tiziana Cimoli
, G. Michele Pinna:
Lending Petri nets. Sci. Comput. Program. 112: 75-101 (2015) - [c34]Massimo Bartoletti
, Tiziana Cimoli
, Roberto Zunino:
Compliance in Behavioural Contracts: A Brief Survey. Programming Languages with Applications to Biology and Security 2015: 103-121 - [c33]Massimo Bartoletti
, Pierpaolo Degano, Paolo Di Giamberardino, Roberto Zunino:
Debits and Credits in Petri Nets and Linear Logic. Logic, Rewriting, and Concurrency 2015: 135-159 - [c32]Massimo Bartoletti
, Tiziana Cimoli
, Maurizio Murgia
, Alessandro Sebastian Podda
, Livio Pompianu
:
A Contract-Oriented Middleware. FACS 2015: 86-104 - [c31]Massimo Bartoletti
, Tiziana Cimoli
, Maurizio Murgia
, Alessandro Sebastian Podda
, Livio Pompianu
:
Compliance and Subtyping in Timed Session Types. FORTE 2015: 161-177 - [c30]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna, Roberto Zunino:
Models of Circular Causality. ICDCIT 2015: 1-20 - [c29]Massimo Bartoletti
, Roberto Zunino:
On the Decidability of Honesty and of Its Variants. WS-FM 2015: 143-166 - [c28]Alceste Scalas
, Massimo Bartoletti
:
The LTS WorkBench. ICE 2015: 86-98 - [i3]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. CoRR abs/1510.02229 (2015) - 2014
- [j10]Massimo Bartoletti
, Tiziana Cimoli
, G. Michele Pinna, Roberto Zunino:
Circular Causality in Event Structures. Fundam. Informaticae 134(3-4): 219-259 (2014) - [c27]Massimo Bartoletti
, Alceste Scalas
, Roberto Zunino:
A Semantic Deconstruction of Session Types. CONCUR 2014: 402-418 - [c26]Massimo Bartoletti
, Maurizio Murgia
, Alceste Scalas
, Roberto Zunino:
Modelling and Verifying Contract-Oriented Systems in Maude. WRLA 2014: 130-146 - [c25]Massimo Bartoletti
, Tiziana Cimoli
, G. Michele Pinna:
A note on two notions of compliance. ICE 2014: 86-93 - 2013
- [c24]Massimo Bartoletti
, Alceste Scalas
, Emilio Tuosto, Roberto Zunino:
Honesty by Typing. FMOODS/FORTE 2013: 305-320 - [c23]Massimo Bartoletti
, Tiziana Cimoli
, G. Michele Pinna:
Lending Petri Nets and Contracts. FSEN 2013: 66-82 - [c22]Massimo Bartoletti
, Tiziana Cimoli
, Roberto Zunino:
A Theory of Agreements and Protection. POST 2013: 186-205 - [c21]Massimo Bartoletti, Tiziana Cimoli, Paolo Di Giamberardino, Roberto Zunino:
Contract agreements via logic. ICE 2013: 5-19 - 2012
- [j9]Massimo Bartoletti
, Emilio Tuosto
, Roberto Zunino:
Contract-Oriented Computing in CO2. Sci. Ann. Comput. Sci. 22(1): 5-60 (2012) - [c20]Massimo Bartoletti
, Emilio Tuosto, Roberto Zunino:
On the Realizability of Contracts in Dishonest Systems. COORDINATION 2012: 245-260 - [c19]Massimo Bartoletti, Tiziana Cimoli
, G. Michele Pinna, Roberto Zunino:
An event-based model for contracts. PLACES 2012: 13-20 - [i2]Massimo Bartoletti, Emilio Tuosto, Roberto Zunino:
On the realizability of contracts in dishonest systems. CoRR abs/1201.6188 (2012) - [i1]Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna:
Lending Petri nets and contracts. CoRR abs/1211.3624 (2012) - 2011
- [c18]Massimo Bartoletti, Emilio Tuosto
, Roberto Zunino:
Contracts in distributed systems. ICE 2011: 130-147 - [p2]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
, Roberto Zunino:
Call-by-Contract for Service Discovery, Orchestration and Recovery. Results of the SENSORIA Project 2011: 232-261 - [p1]Massimo Bartoletti
, Luís Caires, Ivan Lanese
, Franco Mazzanti
, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino:
Tools and Verification. Results of the SENSORIA Project 2011: 408-427 - 2010
- [c17]Massimo Bartoletti
, Roberto Zunino:
A Calculus of Contracting Processes. LICS 2010: 332-341 - [c16]Massimo Bartoletti
, Roberto Zunino:
Static Enforcement of Service Deadlines. SEFM 2010: 320-324 - [c15]Massimo Bartoletti, Roberto Zunino:
Primitives for Contract-based Synchronization. ICE 2010: 67-82
2000 – 2009
- 2009
- [j8]Massimo Bartoletti
, Gabriele Costa
, Roberto Zunino:
Jalapa: Securing Java with Local Policies: Tool Demonstration. Electron. Notes Theor. Comput. Sci. 253(5): 145-151 (2009) - [j7]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
:
Planning and verifying service composition. J. Comput. Secur. 17(5): 799-837 (2009) - [j6]Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino:
Securing Java with Local Policies. J. Object Technol. 8(4): 5-32 (2009) - [j5]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
, Roberto Zunino:
Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6): 23:1-23:43 (2009) - [c14]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
, Roberto Zunino:
nu-Types for Effects and Freshness Analysis. ICTAC 2009: 80-95 - [c13]Massimo Bartoletti, Roberto Zunino:
A Logic for Contracts. ICTCS 2009: 34-37 - [c12]Massimo Bartoletti
:
Usage Automata. ARSPA-WITS 2009: 52-69 - 2008
- [j4]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
, Roberto Zunino:
Semantics-Based Design for Secure Web Services. IEEE Trans. Software Eng. 34(1): 33-49 (2008) - [c11]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
, Roberto Zunino:
Model Checking Usage Policies. TGC 2008: 19-35 - [c10]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
, Roberto Zunino:
Hard Life with Weak Binders. EXPRESS 2008: 49-72 - 2007
- [c9]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
, Roberto Zunino:
Secure Service Orchestration. FOSAD 2007: 24-74 - [c8]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
, Roberto Zunino:
Types and Effects for Resource Usage Analysis. FoSSaCS 2007: 32-47 - 2006
- [c7]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
:
Types and Effects for Secure Service Orchestration. CSFW 2006: 57-69 - [c6]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
:
Security Issues in Service Composition. FMOODS 2006: 1-16 - 2005
- [c5]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
:
Enforcing Secure Service Composition. CSFW 2005: 211-223 - [c4]Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari
:
History-Based Access Control with Local Policies. FoSSaCS 2005: 316-332 - [c3]Massimo Bartoletti
, Pierpaolo Degano, Gian Luigi Ferrari
:
Checking Risky Events Is Enough for Local Policies. ICTCS 2005: 97-112 - [c2]