A Cyber-Physical System (CPS) is an engineered physical system with a significantcybercomponent and consists of many interacting distributed cyber and physicalcomponents. CPSs are deployed in critical applications, such as advanced power electronics ina green electric power system, vehicles in an automated highway system, distributed aircraftnavigation systems, chemical process plants, and consumer components of a smart house inwhich correct operation is paramount. Unintended or misunderstood interactions among thecomponents of a CPS cause unpredictable behavior, leading to serious errors. While eachcomponent may independently function correctly, their composition may yield incorrectnessdue to Interference. Interference that violates correctness or security is well-understood inthe purely software (cyber) domain. In the CPS domain, interference is much less understood.Security and confidentiality problems are particularly vexing. Attacks such as Stuxnet showhow formal security properties can be violated through physical interference with the cybercomponents. To add to the difficulty, CPS security is difficult to specify in terms of traditional“high” and “low” security.This talk presents an interpretation of formal information flow properties and interferencewithin the context of a cyber-physical system, blending both physical and cyber informationflow properties across multiple security domains. This poses the deep scientific question: howto make such systems secure and correct?Location: Clinton, Mississippi
Calendar of Events
M
Mon
|
T
Tue
|
W
Wed
|
T
Thu
|
F
Fri
|
S
Sat
|
S
Sun
|
---|---|---|---|---|---|---|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
4 events,
-
Co-sponsored by: Rajeev Agrawal SPEAKER: Dr. Bruce McMillin, Associate Dean of Engineering and ComputingMissouri University of Science and TechnologyIEEE Computer Society Distinguished Lecturer RSVP: Thursday, 13 September 2018 Please contact Rajeev Agrawal, at rkag@yahoo.com or call 810-394-9724 If you not a US citizen, you should contact me by Monday Sep 10, 2018 to complete paperwork for access to the lab. Location: Room: Classroom 2 Bldg: 8000C 3909 Halls Ferry Road Information Technology Lab Vicksburg, Mississippi 39180
-
Co-sponsored by: Rajeev AgrawalSPEAKER: Dr. Bruce McMillin, Associate Dean of Engineering and ComputingMissouri University of Science and TechnologyIEEE Computer Society Distinguished LecturerRSVP: Thursday, 13 September 2018 Please contact Rajeev Agrawal, at rkag@yahoo.com or call 810-394-9724If you not a US citizen, you should contact me by Monday Sep 10, 2018 to complete paperwork for access to the lab.Location: Room: Classroom 2Bldg: 8000C3909 Halls Ferry RoadInformation Technology LabVicksburg, Mississippi39180
-
A Cyber-Physical System (CPS) is an engineered physical system with a significantcybercomponent and consists of many interacting distributed cyber and physicalcomponents. CPSs are deployed in critical applications, such as advanced power electronics ina green electric power system, vehicles in an automated highway system, distributed aircraftnavigation systems, chemical process plants, and consumer components of a smart house inwhich correct operation is paramount. Unintended or misunderstood interactions among thecomponents of a CPS cause unpredictable behavior, leading to serious errors. While eachcomponent may independently function correctly, their composition may yield incorrectnessdue to Interference. Interference that violates correctness or security is well-understood inthe purely software (cyber) domain. In the CPS domain, interference is much less understood.Security and confidentiality problems are particularly vexing. Attacks such as Stuxnet showhow formal security properties can be violated through physical interference with the cybercomponents. To add to the difficulty, CPS security is difficult to specify in terms of traditional“high” and “low” security.This talk presents an interpretation of formal information flow properties and interferencewithin the context of a cyber-physical system, blending both physical and cyber informationflow properties across multiple security domains. This poses the deep scientific question: howto make such systems secure and correct? Location: Clinton, Mississippi |
0 events,
|
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
0 events,
|
2 events,
-
Joint Meeting with the Society of Military Engineers SPEAKER: Steve Twedt, P.E.; Neel-SchafferTOPIC: Ethics and EngineeringA/E HOST: SOL Engineering WHERE: USACE - Vicksburg District, Multi-Purpose Conference Room4155 Clay St.Vicksburg MS 39183 WHEN: 11:30 am – Lunch Served12:00 pm – Program THE COST IS $10.00(Includes lunch and drink) RSVP to MeetingReminder@usace.army.mil or Rajeev Agrawal rkag@yahoo.com, by CoB Friday, 21 September 2018. NOTE: If you make a reservation you will be responsible for the cost of the meal.Bring a friend! Location: Room: Multi-Purpose Conference Room USACE - Vicksburg District 4155 Clay St. Vicksburg, Mississippi 39183
-
Joint Meeting with the Society of Military EngineersSPEAKER: Steve Twedt, P.E.; Neel-SchafferTOPIC: Ethics and EngineeringA/E HOST: SOL EngineeringWHERE: USACE - Vicksburg District, Multi-Purpose Conference Room4155 Clay St.Vicksburg MS 39183WHEN: 11:30 am – Lunch Served12:00 pm – ProgramTHE COST IS $10.00(Includes lunch and drink)RSVP to MeetingReminder@usace.army.mil or Rajeev Agrawal rkag@yahoo.com, by CoB Friday, 21 September 2018.NOTE: If you make a reservation you will be responsible for the cost of the meal.Bring a friend!Location: Room: Multi-Purpose Conference RoomUSACE - Vicksburg District4155 Clay St.Vicksburg, Mississippi39183 |
3 events,
-
For the general public, the title “Professional Engineer” can evoke many notions: competent, knowledgeable, experienced, and trustworthy to name a few. But what does being a PE entail and what added responsibility do you take on by adding that title to your name? Professional licensure is a demonstration that an individual has the education, experience and expertise to perform certain tasks. Therefore, the law is very specific about who can legally call themselves an “Engineer.” We’ll explore just what being a Professional Engineer means, as well as your pathway to becoming one. Speaker(s): Sarah Tracy, Saurav Patel Agenda: Sarah Tracy, P.E., received her BS in Biological Engineering from MS State University in 1993 and became a licensed PE in 1998. Sarah has worked for the MS Department of Environmental Quality for more than 25 years and has extensive experience in various funding programs administered within and by DEQ. . Most recently, she has worked with coastal communities on recovery and restoration projects resulting from the Deepwater Horizon oil spill. Sarah’s focus is on the National Fish and Wildlife Foundation’s Gulf Environmental Benefit Fund. In December 2016, Gov. Phil Bryant appointed Sarah to the Board of Licensure for Professional Engineers and Surveyors. She is the first woman and, to the best of staff recollections, the first not to hold a civil engineering degree to serve on this board. Her appointment lasts through June 2020. Saurav Patel, P.E., received his Master’s in Electric Power Systems Engineering from North Carolina State University in 2014 and became a licensed PE in 2018.Saurav has been working with Entergy Services Inc. since 2015 in the Transmission Protection Department. Location: Room: Cafetorium Bldg: Entergy THQ Headquarter 6540 Watkins Dr Jackson, Mississippi
-
For the general public, the title “Professional Engineer” can evoke many notions: competent, knowledgeable, experienced, and trustworthy to name a few. But what does being a PE entail and what added responsibility do you take on by adding that title to your name? Professional licensure is a demonstration that an individual has the education, experience and expertise to perform certain tasks. Therefore, the law is very specific about who can legally call themselves an “Engineer.” We’ll explore just what being a Professional Engineer means, as well as your pathway to becoming one. Speaker(s): Sarah Tracy, Saurav Patel Agenda: Sarah Tracy, P.E., received her BS in Biological Engineering from MS State University in 1993 and became a licensed PE in 1998. Sarah has worked for the MS Department of Environmental Quality for more than 25 years and has extensive experience in various funding programs administered within and by DEQ. . Most recently, she has worked with coastal communities on recovery and restoration projects resulting from the Deepwater Horizon oil spill. Sarah’s focus is on the National Fish and Wildlife Foundation’s Gulf Environmental Benefit Fund. In December 2016, Gov. Phil Bryant appointed Sarah to the Board of Licensure for Professional Engineers and Surveyors. She is the first woman and, to the best of staff recollections, the first not to hold a civil engineering degree to serve on this board. Her appointment lasts through June 2020. Saurav Patel, P.E., received his Master’s in Electric Power Systems Engineering from North Carolina State University in 2014 and became a licensed PE in 2018.Saurav has been working with Entergy Services Inc. since 2015 in the Transmission Protection Department. Location: Room: Cafetorium Bldg: Entergy THQ Headquarter 6540 Watkins Dr Jackson, Mississippi
-
For the general public, the title “Professional Engineer” can evoke many notions: competent, knowledgeable, experienced, and trustworthy to name a few. But what does being a PE entail and what added responsibility do you take on by adding that title to your name? Professional licensure is a demonstration that an individual has the education, experience and expertise to perform certain tasks. Therefore, the law is very specific about who can legally call themselves an “Engineer.” We’ll explore just what being a Professional Engineer means, as well as your pathway to becoming one.Speaker(s): Sarah Tracy, Saurav PatelAgenda: Sarah Tracy, P.E., received her BS in Biological Engineering from MS State University in 1993 and became a licensed PE in 1998. Sarah has worked for the MS Department of Environmental Quality for more than 25 years and has extensive experience in various funding programs administered within and by DEQ. . Most recently, she has worked with coastal communities on recovery and restoration projects resulting from the Deepwater Horizon oil spill. Sarah’s focus is on the National Fish and Wildlife Foundation’s Gulf Environmental Benefit Fund. In December 2016, Gov. Phil Bryant appointed Sarah to the Board of Licensure for Professional Engineers and Surveyors. She is the first woman and, to the best of staff recollections, the first not to hold a civil engineering degree to serve on this board. Her appointment lasts through June 2020. Saurav Patel, P.E., received his Master’s in Electric Power Systems Engineering from North Carolina State University in 2014 and became a licensed PE in 2018.Saurav has been working with Entergy Services Inc. since 2015 in the Transmission Protection Department.Location: Room: CafetoriumBldg: Entergy THQ Headquarter6540 Watkins DrJackson, Mississippi |
0 events,
|
0 events,
|
0 events,
|
0 events,
|