Sciweavers

3420 search results - page 47 / 684
» A Language-Based Approach to Security
Sort
View
MATES
2010
Springer
13 years 8 months ago
Modelling Distributed Network Security in a Petri Net- and Agent-Based Approach
Simon Adameit, Tobias Betz, Lawrence Cabac, Floria...
SACMAT
2011
ACM
13 years 25 days ago
An approach to modular and testable security models of real-world health-care applications
t http://www.brucker.ch/bibliography/abstract/ brucker.ea-model-based-2011 by permission of ACM for your personal use. Not for redistribution. The definitive version was published...
Achim D. Brucker, Lukas Brügger, Paul Kearney...