27 citations · 77 across the 18 of their papers we have counts for
3 papers · 1 filter
Compliance in Real Time Multiset Rewriting Models
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam +2
The notion of compliance in Multiset Rewriting Models (MSR) has been introduced for untimed models and for models with discrete time. In this paper we revisit the notion of complia…
Model-Based Safety and Security Engineering
Vivek Nigam, Alexander Pretschner, Harald Ruess
By exploiting the increasing surface attack of systems, cyber-attacks can cause catastrophic events, such as, remotely disable safety mechanisms. This means that in order to avoid…
Symbolic Timed Observational Equivalence
Vivek Nigam, Carolyn Talcott, Abrãao Aires Urquiza
Intruders can infer properties of a system by measuring the time it takes for the system to respond to some request of a given protocol, that is, by exploiting time side channels.…