 |
International Journal for Research Trends and Innovation
International Peer Reviewed & Refereed Journals, Open Access Journal
ISSN Approved Journal No: 2456-3315 | Impact factor: 8.14 | ESTD Year: 2016
Scholarly open access journals, Peer-reviewed, and Refereed Journals, Impact factor 8.14 (Calculate by google scholar and Semantic Scholar | AI-Powered Research Tool) , Multidisciplinary, Monthly, Indexing in all major database & Metadata, Citation Generator, Digital Object Identifier(DOI)
|
Issue: March 2026
Volume 11 | Issue 3
Review Result and Publication of Paper within : 2-3 days
Click Here For more DetailsFor Authors
Forms / Download
Published Issue Details
Editorial Board
Other IMP Links
Facts & Figure
Impact Factor : 8.14
Issue per Year : 12
Volume Published : 11
Issue Published : 118
Article Submitted : 21523
Article Published : 8515
Total Authors : 22403
Total Reviewer : 805
Total Countries : 158
Indexing Partner
Licence
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
|
Published Paper Details
|
|
| Paper Title: | An efficient model checking based security verification technique in cyber security |
| Authors Name: | Prakrita K , Prashanth J |
| Download E-Certificate: | Download |
| Author Reg. ID: |
IJRTI_182767
|
| Published Paper Id: | IJRTI2206233 |
| Published In: | Volume 7 Issue 6, June-2022 |
| DOI: | |
| Abstract: | Cybersecurity is the defense against cybercrime for systems linked to the internet, including their technology, application, and content. Enterprises generally hire cyber security specialists to safeguard their private data, preserve workers’ productivity, and boost consumer faith in assets. Based on research carried out, it is noted that, a lot of attacks are taking place leading to loss of data, unauthorized access of systems, disabling of computer functions etc., that affects various organizations such as healthcare, banking, schools, etc., In order to avoid such situations, we have presented a model that provides a secure network by identifying various attacks that can take place based on the data required for the attacker. We have collected various datasets and trained them such a way as to detect an attack based on its features. We have also utilized malware detection using machine learning to classify attacks into malware and non-malware data. |
| Keywords: | Cyber-security, Assaults, Malware, Non-malware. |
| Cite Article: | "An efficient model checking based security verification technique in cyber security", International Journal for Research Trends and Innovation (www.ijrti.org), ISSN:2455-2631, Vol.7, Issue 6, page no.1581 - 1586, June-2022, Available :http://www.ijrti.org/papers/IJRTI2206233.pdf |
| Downloads: | 000205297 |
| ISSN: |
2456-3315 | IMPACT FACTOR: 8.14 Calculated By Google Scholar| ESTD YEAR: 2016 An International Scholarly Open Access Journal, Peer-Reviewed, Refereed Journal Impact Factor 8.14 Calculate by Google Scholar and Semantic Scholar | AI-Powered Research Tool, Multidisciplinary, Monthly, Multilanguage Journal Indexing in All Major Database & Metadata, Citation Generator |
| Publication Details: |
Published Paper ID: IJRTI2206233
Registration ID:182767
Published In: Volume 7 Issue 6, June-2022
DOI (Digital Object Identifier):
Page No: 1581 - 1586 Country: Bangalore, Karnataka, India Research Area: Engineering Publisher : IJ Publication Published Paper URL : https://www.ijrti.org/viewpaperforall?paper=IJRTI2206233 Published Paper PDF: https://www.ijrti.org/papers/IJRTI2206233 |
| Share Article: | |
|
Click Here to Download This Article |
|
| Article Preview | |
|
|
|
Major Indexing from www.ijrti.org
| Google Scholar | ResearcherID Thomson Reuters | Mendeley : reference manager | Academia.edu |
| arXiv.org : cornell university library | Research Gate | CiteSeerX | DOAJ : Directory of Open Access Journals |
| DRJI | Index Copernicus International | Scribd | DocStoc |
ISSN Details
 |
 |
|
ISSN: 2456-3315
Impact Factor: 8.14 and ISSN APPROVED,
Journal Starting Year (ESTD) : 2016
DOI (A digital object identifier)
| Providing A digital object identifier by DOI.ONE How to Get DOI? |
Conference
Open Access License Policy
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Important Details
Join RMS/Earn 300
WhatsApp
Click Here
Click Here
Indexing Partner |
|||
| Copyright © 2026 - All Rights Reserved - IJRTI | |||