WorldCat Identities

Massacci, Fabio

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

14 editions published in 2006 in English and held by 99 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 Úlfar Erlingsson( Book )

28 editions published between 2009 and 2010 in English and Undetermined and held by 87 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
Trust management : 4th international conference, iTrust 2006, Pisa, Italy, May 16-19, 2006 : proceedings by Ketil Stølen( Book )

4 editions published in 2006 in English and held by 29 WorldCat member libraries worldwide

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

8 editions published in 2009 in English and Undetermined and held by 26 WorldCat member libraries worldwide

The Safety and Security in Multiagent Systems (SASEMAS) series of workshops that took place from 2004-2006 provided a forum for the exchange of ideas and discussion on areas related to the safety and security of multiagent systems. In particular, the workshops explored issues related to the development and deployment of safe and secure agents and multiagents systems with topics ranging from definitions of safety and security for single agents or entire systems to verification/validation of agent and multiagent systems to design, mechanisms and deployment to user requirements, agent behavior, and trust. This book contains 22 papers grouped into five main sections according to the following topics: methodological approaches to high-assurance systems, prevention and response to harm/failures, stochastic approaches to predictability and unpredictability, safety and security in human-computer interactions, and self-protection
Simplification with renaming : a general proof technique for tableau and sequent-based provers by Fabio Massacci( Book )

3 editions published in 1997 in English and held by 10 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."
Complementi ed esercizi di programmazione in pascal by Diego Calvanese( Book )

2 editions published between 1998 and 1999 in Italian and held by 4 WorldCat member libraries worldwide

Trust Management (vol. # 3986) by Ketil Stølen( Book )

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

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 Quality of Protection Workshop( Book )

2 editions published in 2006 in English and held by 2 WorldCat member libraries 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

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

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

2 editions published in 2008 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

Engineering Secure Software and Systems : First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings( )

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

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

1 edition published in 2006 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.52 (from 0.48 for Quality of ... to 1.00 for Engineerin ...)

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 : 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 (vol. # 3986)Proceedings of the Second international conference on Engineering Secure Software and Systems