Search results
Lecture Notes in Computer Science > Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices > Smart Card Security > 221-228
Lecture Notes in Computer Science > Trust, Privacy and Security in Digital Business > Session 6: Policy Management > 178-189
Lecture Notes in Computer Science > Computer Network Security > Security Policies and Formal Analysis of Security Properties > 139-154
Lecture Notes in Computer Science > B 2007: Formal Specification and Development in B > Regular Papers > 216-231
International Journal on Software Tools for Technology Transfer > 2015 > 17 > 3 > 291-303
IEEE Communications Magazine > 2010 > 48 > 11 > 128 - 135
2006 SICE-ICASE International Joint Conference > 3726 - 3729