Haskell: language for business systems
Trends in functional programming
Modelling Communication Interfaces with COMIX
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
A secure and private system for subscription-based remote services
ACM Transactions on Information and System Security (TISSEC)
Shield: vulnerability-driven network filters for preventing known vulnerability exploits
Proceedings of the 2004 conference on Applications, technologies, architectures, and protocols for computer communications
PADS: a domain-specific language for processing ad hoc data
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
SCL: a language for security testing of network applications
CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
NetPDL: an extensible XML-based language for packet header description
Computer Networks: The International Journal of Computer and Telecommunications Networking
Packet decoding using context sensitive parsing
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
A lightweight approach to state based security testing
CASCON '06 Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research
Access control models and security labelling
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
XFlavor: providing XML features in media representation
Multimedia Tools and Applications
A business process monitor for a mobile phone recharging system
Journal of Systems Architecture: the EUROMICRO Journal
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
A New Rights Processing Method for DRM Systems
CAR '09 Proceedings of the 2009 International Asia Conference on Informatics in Control, Automation and Robotics
The canals language and its compiler
Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems
Using data correlation to build an intrusion detection system
ICAI'09 Proceedings of the 10th WSEAS international conference on Automation & information
SIM-based subscriber authentication mechanism for wireless local area networks
Computer Communications
NetPDL: An extensible XML-based language for packet header description
Computer Networks: The International Journal of Computer and Telecommunications Networking
The next 700 data description languages
Journal of the ACM (JACM)
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
An empirical evaluation of a language-based security testing technique
CASCON '09 Proceedings of the 2009 Conference of the Center for Advanced Studies on Collaborative Research
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
From ASN.1 into CafeOBJ: Some First Steps
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
A content authentication method for digital television
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 1
Semantic network of ground station-satellite communication system
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
Proceedings of the 14th International Conference on Database Theory
A secure and practical approach for providing anonymity protection for trusted platforms
ICICS'10 Proceedings of the 12th international conference on Information and communications security
Proving a soundness property for the joint design of ASN.1 and the basic encoding rules
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Architectural Styles for Distributed Interoperability
Information Resources Management Journal
| Hi-index | 0.00 |