|
|||||
Formal Specification of Policy Components and Constraints for Network Computing Base Manpreet Singh, Manjeet Singh Patterh Punjabi University, India Abstract: The aim of the paper is to develop and promulgate formal, documented policies and procedures governing the access control security requirements to ensure their effective implementation in network computing environment. This paper demonstrates how the domain of access control is aligned with network architecture domain in a single policy specification framework. Utilizing simple set theoretic concepts, a formal notation is given to specify the security policy components and constraints. Key words: Security Policy, Access Control, Information Flow control, Network Security Policy. (
Biographies:
BibTex: @ARTICLE{P1140724007,
AUTHOR = {Manpreet
Singh and Manjeet Singh Patterh },
TITLE = {Formal Specification of Policy Components and Constraints for Network Computing Base}, JOURNAL = {ICGST International Journal on Computer Network and Internet Research, CNIR}, YEAR = {2007}, VOLUME = {07}, ISSUE = {I}, PAGES={25--32} } ( |
|||||
|
Manpreet
Singh received the B.E and M.E
degree in engineering from Punjab
Technical University, Jalandhar, India
and Thapar University, Patiala, India
respectively. His current interests are
computer networks, access control and
information security. He has been in
teaching and research for the last 10
years. He has published over 12 papers
at national and international levels.
Presently he is with Faculty of
engineering, Punjabi University, Patiala.
India. He is life member of ISTE.
Manjeet
Singh Patterh, did his Bachelor's
degree from Madhav Institute of
Technology and Science (MITS), Gwalior
(MP) and Master’s degree from Birla
Institute of Technology and Science
(BITS), Pilani, both in Electronics
Engineering. He did his PhD from Punjab
Technical University Jalandhar. He has
published 8 papers in international and
national refereed journals and 25 papers
in international and national
conferences. He is having over 17 years
of teaching experience. He is presently
working as Professor in department of
electronics and communication
engineering at Punjabi University
Patiala. His current interests are
Digital Signal Processing, Wireless
Communication Systems and Networking. He
is member of IEEE and life member of
ISTE, IE (I) and IETE
