731 search results - page 2 / 147 » Special Section on Information and Communication System Secu... |
SECURWARE
2007
IEEE
13 years 11 months ago
2007
IEEE
The paper discusses an experience in using a realtime UML/SysML profile and a formal verification toolkit to check a secure group communication system against temporal requirement...
ICCCN
2008
IEEE
13 years 11 months ago
2008
IEEE
—In recent times, the importance of information security in civilian space communication systems has increased significantly among space agencies. Those systems often require a ...
CSREASAM
2009
13 years 6 months ago
2009
- Until recently the reasons for reduced efficiency and limited implementation of new security systems has been the insufficient performance of hardware that executes access contro...
ISCA
2011
IEEE
12 years 9 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
ACSAC
2001
IEEE
13 years 9 months ago
2001
IEEE
fies a number of issues related to security information r semantics on different layers of abstraction. In particular it is difficult to express caller and target accurately in the...