2270 search results - page 122 / 454 » Modelling Secure IT Systems - A Survey |
IEEEARES
2007
IEEE
14 years 3 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
CARDIS
2010
Springer
14 years 6 days ago
2010
Springer
This paper establishes a novel model for RFID schemes where readers are not continuously connected to the back office, but only periodically. Furthermore, adversaries are not only ...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
: Security of computers and the networks that connect them is increasingly becoming of great significance. Computer security is defined as the protection of computing systems again...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
We consider the effect attackers who disrupt anonymous communications have on the security of traditional high- and low-latency anonymous communication systems, as well as on the...
ECBS
2011
IEEE
12 years 8 months ago
2011
IEEE
—Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the tradeoffs resulting from the different conflicting attributes of ...