NDLI: A reinforcement model for collaborative security and Its formal analysis

Please wait, while we are loading the content...

Laissez-faire file sharing: access control designed for individuals at the endpoints

What is the shape of your security policy?: security as a classification problem

Generative usability: security and user centered design beyond the appliance

Quis Custodiet ipsos Custodes?: a new paradigm for analyzing security paradigms with appreciation to the Roman poet Juvenal

Musipass: authenticating me softly with "my" song

A reinforcement model for collaborative security and Its formal analysis

Fluid information systems

So long, and no thanks for the externalities: the rational rejection of security advice by users

Server-side detection of malware infection

Quantified security is a weak hypothesis: a critical survey of results and assumptions

The sisterhood of the traveling packets

Securing data through avoidance routing

A reinforcement model for collaborative security and Its formal analysis

Content Provider	ACM Digital Library
Author	Saha, Indranil Misra, Janardan
Abstract	This paper presents a principled approach to one of the many little studied aspects of computer security which relate to human behavior. Advantages of involving users who usually have strong analytic ability to detect violations and threats but not primarily responsible for security have been well emphasized in the literature. In this work we propose a reinforcement framework for enabling collaborative monitoring of policy violations by the users. We define a payoff model to formalize the reinforcement framework. The model stipulates appropriate payoffs as reward, punishment, and community price according to reporting of genuine or false violations, non-reporting of the detected violations, and proactive reporting of vulnerabilities and threats by the users. We define probabilistic robustness property of the resulting system and constraints for economic feasibility of the payoffs. For estimating the parameters in the payoff model, system and user behaviors are modeled in terms of probabilistic finite state machines (PFSM) and likelihood of the success of the model is specified using Probabilistic Computation Tree Logic (PCTL). PRISM model checker based automated quantitative analysis elicits the process of the estimation of various parameters in the model using PFSMs and PCTL formulas.
Starting Page	101
Ending Page	114
Page Count	14
File Format	PDF
ISBN	9781605588452
DOI	10.1145/1719030.1719045
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2009-09-08
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Collaborative monitoring and reporting Modeling and analysis Reward-punishment rramework Probabilistic Reinforcement model Collaborative security
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in