Tools

LEADER 03877cam a2200505Ia 4500

001 ocn810191426;

003 OCoLC;

005 20141212032702.0;

006 m d ;

007 cr bn|||||||||;

008 120918s2012 ncu ob 000 0 eng d;

035 a| (Sirsi) o810191426;

035 a| (OCoLC)810191426;

049 a| EREE;

090 a| QA76.9.A25;

100 1 a| Anderson, James Carold.?| UNAUTHORIZED;

245 10 a| Enforcing role-based access control on a social network /c| by James Carold Anderson.;

246 1 i| title from abstract pagea| Enforcing role-based access control in a social network;

260 a| [Greenville, N.C.] :b| East Carolina University,c| 2012.;

300 a| 240 pages :b| illustrations, digital, PDF file;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

538 a| System requirements: Adobe Reader.;

538 a| Mode of access: World Wide Web.;

502 b| M.S.c| East Carolina Universityd| 2012.;

500 a| Presented to the faculty of the Department of Computer Science.;

500 a| Advisor: Junhua Ding.;

500 a| Title from PDF t.p. (viewed Sept. 24, 2012).;

520 3 a| Social networks supply a means by which people can communicate with each other while allowing for ease in initiating interaction and expressions. These systems of human collaboration may also be used to store and distribute information of a sensitive nature that must be secured against intrusions at all times. Given the massive operation embodied by social networks, multiple methods have been developed that control the flow of information so that those with authorization can gain access. Before allowing a social network to begin distributing its contents, a prudent prerequisite should be that the security protocols prevent unauthorized access. Formal modeling and analysis of security properties, particularly those of Role-Based Access Control (RBAC), in social networks is the main focus of this thesis. A social network system and its security assurance mechanisms are modeled using the input language of Symbolic Model Verifier (SMV), and the properties of the system are specified using computation tree temporal logic (CTL*). Those properties are then verified using the SMV model checker. A real case was studied to demonstrate the effectiveness of model checking security properties in a social network system. The case consists of an account in which a group of users share various resources and access privileges which are controlled by RBAC. The case study results show that model checking is capable of formally analyzing security policies particularly RBAC in a social network system. In addition, the counter examples generated from model checking could help to create test cases for testing system implementation, and they can help us to find defects in the model as well. Formally modeling and model checking security policies in a complex system, like a social network, can greatly improve the security of these systems.;

504 a| Includes bibliographical references.;

650 0 a| Computer security.=| ^A257308;

650 0 a| Social networksx| Security measures.=| ^A214336;

650 0 a| Information storage and retrieval systemsx| Security measures.=| ^A14867;

653 a| Computer science;

700 1 a| Ding, Junhua.=| ^A1052651;

710 2 a| East Carolina University.b| Department of Computer Science.?| UNAUTHORIZED;

856 40 z| Access via ScholarShipu| http://hdl.handle.net/10342/3936;

949 o| jgml;

994 a| C0b| ERE;

596 a| 1 4;

998 a| 3108447;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3108447-1001l| JNETm| JOYNERr| Ys| Yt| JNE3ETDu| 9/18/2012x| ETDz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3108447-2001l| HSLELECm| HSLr| Ys| Yt| HEETDu| 9/18/2012x| ETDz| HERESOURCE;

Enforcing role-based access control on a social network / by James Carold Anderson.

Author/creator	Anderson, James Carold
Other author	Ding, Junhua.
Other author	East Carolina University. Department of Computer Science.
Format	Theses and dissertations
Publication Info	[Greenville, N.C.] : East Carolina University, 2012.
Description	240 pages : illustrations, digital, PDF file
Supplemental Content	Access via ScholarShip
Subjects	Computer security. Social networks--Security measures. Information storage and retrieval systems--Security measures.

Variant title	title from abstract page Enforcing role-based access control in a social network
Summary	Social networks supply a means by which people can communicate with each other while allowing for ease in initiating interaction and expressions. These systems of human collaboration may also be used to store and distribute information of a sensitive nature that must be secured against intrusions at all times. Given the massive operation embodied by social networks, multiple methods have been developed that control the flow of information so that those with authorization can gain access. Before allowing a social network to begin distributing its contents, a prudent prerequisite should be that the security protocols prevent unauthorized access. Formal modeling and analysis of security properties, particularly those of Role-Based Access Control (RBAC), in social networks is the main focus of this thesis. A social network system and its security assurance mechanisms are modeled using the input language of Symbolic Model Verifier (SMV), and the properties of the system are specified using computation tree temporal logic (CTL*). Those properties are then verified using the SMV model checker. A real case was studied to demonstrate the effectiveness of model checking security properties in a social network system. The case consists of an account in which a group of users share various resources and access privileges which are controlled by RBAC. The case study results show that model checking is capable of formally analyzing security policies particularly RBAC in a social network system. In addition, the counter examples generated from model checking could help to create test cases for testing system implementation, and they can help us to find defects in the model as well. Formally modeling and model checking security policies in a complex system, like a social network, can greatly improve the security of these systems.
General note	Presented to the faculty of the Department of Computer Science.
General note	Advisor: Junhua Ding.
General note	Title from PDF t.p. (viewed Sept. 24, 2012).
Dissertation note	M.S. East Carolina University 2012.
Bibliography note	Includes bibliographical references.
Technical details	System requirements: Adobe Reader.
Technical details	Mode of access: World Wide Web.

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Enforcing role-based access control on a social network / by James Carold Anderson.

Click here for more information about this title

Availability