WorldCat Identities

Massacci, Fabio

Overview
Works: 17 works in 74 publications in 2 languages and 1,777 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, Creator
Classifications: QA76.76.R44, 004
Publication Timeline
.
Most widely held works by Fabio Massacci
Quality of protection : security measurements and metrics by Dieter Gollmann( Book )

13 editions published in 2006 in English and held by 97 WorldCat member libraries worldwide

Discusses how security research can progress towards quality of protection in security comparable to quality of service in networking and software measurements, and metrics in empirical software engineering. This work is also suitable for advanced-level students in computer science
Engineering secure software and systems : first international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009 : proceedings by Fabio Massacci( Book )

18 editions published between 2009 and 2010 in English and Undetermined and held by 65 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the First International Symposium on Engineering Secure Software and Systems, ESSoS 2009, held in Leuven, Belgium, in February 2009. The 10 revised full papers presented together with 7 industry reports and ideas papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on policy verification and enforcement, model refinement and program transformation, secure system development, attack analysis and prevention, as well as testing and assurance
Engineering secure software and systems : second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedings by Fabio Massacci( Book )

12 editions published in 2010 in English and held by 38 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the Second International Symposium on Engineering Secure Software and Systems, ESSoS 2010, held in Pisa, Italy, in February 2010. The 9 revised full papers presented together with 8 ideas papers were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on attack analysis and prevention, policy verification and enforcement, and secure system and software development
Trust management : 4th international conference, iTrust 2006, Pisa, Italy, May 16-19, 2006 : proceedings by iTrust (Conference)( Book )

3 editions published in 2006 in English and held by 28 WorldCat member libraries worldwide

Safety and Security in Multiagent Systems Research Results from 2004-2006 by Mike Barley( )

7 editions published in 2009 in English and Undetermined and held by 23 WorldCat member libraries worldwide

Annotation
Simplification with renaming : a general proof technique for tableau and sequent-based provers by Fabio Massacci( Book )

2 editions published in 1997 in English and held by 9 WorldCat member libraries worldwide

Abstract: "Tableau and sequent calculi are the basis for most popular interactive theorem provers for hardware and software verification. Yet, when it comes to decision procedures or automatic proof search, tableaux are orders of magnitude slower than Davis-Putnam, SAT based procedures or other techniques based on resolution. To meet this challenge, this paper proposes a theoretical innovation: the rule of simplification, which plays for tableaux the same role of subsumption for resolution and unit for Davis-Putnam. This technique gives an unifying view of a number of tableaux-like calculi such as DPLL, KE, HARP, hyper- tableaux etc. For instance, the stand-alone nature of the first-order Davis-Putnam-Longeman-Loveland procedure can be explained away as a case of Smullyan tableau with propositional simplification. Beside its computational effectiveness, the simplicity and generality of simplification make possible its extension in a uniform way. We define it for propositional and first order logic and a wide range of modal logics. For a full-fledged first order simplification we combine it with another technique, renaming, which subsumes the use of free universal variables in sequent and tableau calculi. New experimental results are given for random SAT and the IFIP benchmarks for hardware verification."
New technologies, mobility and security proceedings of NTMS'2008 conference and workshops : [Tangier, Morocco, November 5- 7, 2008] by NTMS (Conference)( Book )

3 editions published in 2008 in English and held by 3 WorldCat member libraries worldwide

Proceedings of the 2nd ACM Workshop on Quality of Protection Alexandria (Virginia), October 30, 2006 by ACM Workshop on Quality of Protection( Book )

1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide

Complementi ed esercizi di programmazione in pascal( Book )

1 edition published in 1998 in Italian and held by 2 WorldCat member libraries worldwide

Trust management 4th international conference, iTrust 2006, Pisa, Italy, 16-19.05.2006 : proceedings by Ketil Stølen( Book )

1 edition published in 2006 in English and held by 1 WorldCat member library worldwide

Trust Management (vol. # 3986) 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings by Ketil Stølen( Book )

6 editions published in 2006 in English and held by 1 WorldCat member library worldwide

Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity( )

1 edition published in 2001 in Undetermined and held by 1 WorldCat member library worldwide

Dealing with known unknowns : towards a game-theoretic foundation for software requirement evolution by Le Minh Sang Tran( )

1 edition published in 2011 in English and held by 1 WorldCat member library worldwide

Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM 2007) Dresden, Germany, 27 September 2007 by International Workshop on Run Time Enforcement for Mobile and Distributed Systems( )

1 edition published in 2008 in English and held by 0 WorldCat member libraries worldwide

Proceedings of the 2nd ACM Workshop on Quality of Protection 2006, Alexandria, Virginia, USA, October 30-30, 2006 by Quality of Protection Workshop( )

1 edition published in 2006 in English and held by 0 WorldCat member libraries worldwide

Proceedings of the Second international conference on Engineering Secure Software and Systems by Fabio Massacci( )

2 editions published in 2010 in English and held by 0 WorldCat member libraries worldwide

Proceedings of the 3rd International Workshop on Security and Trust Management (STM 2007) Dresden, Germany, 27 September 2007 by STM (Conference)( )

1 edition published in 2008 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.53 (from 0.46 for Proceeding ... to 0.98 for Complement ...)

Quality of protection : security measurements and metrics
Languages
Covers
Engineering secure software and systems : first international symposium, ESSoS 2009, Leuven, Belgium, February 4-6, 2009 : proceedingsEngineering secure software and systems : second international symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010 : proceedingsTrust management : 4th international conference, iTrust 2006, Pisa, Italy, May 16-19, 2006 : proceedingsSafety and Security in Multiagent Systems Research Results from 2004-2006Trust management 4th international conference, iTrust 2006, Pisa, Italy, 16-19.05.2006 : proceedingsTrust Management (vol. # 3986) 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, ProceedingsProceedings of the Second international conference on Engineering Secure Software and Systems