Sachin Joshi

Home
ReseArch
UmassD
OIST
RESUME
Publications
PROJECTS
VIRTUAL TOUR
Photos

 

 

RESEARCH

 

Modeling of Information Systems Security Features with Colored Petri nets

My research work is to incorporate security features into an existing non-secured model, instead of designing a Information System with all security features from scratch. This makes the approach economic and pragmatic. As a starting point we have used a Colored Petri-net model of the information system. Then we incrementally added several desired security features to the Colored Petri net model of the original information system.

 

Integration of Sensor Networks Using Petri-Nets

I am currently working on the integration of various sensor networks in order to gain some valuable information. I will use Petri-nets for integration of sensor networks. On the basis of this information we will take some decisions in order to enhance security measures.

 

transparent