Engineering privacy revisited.
Problem statement: Information Privacy Engineering (IPE) is the
field that studies the protection of privacy in information and
communication systems. The theoretical, technological and...

11

273197116

Common modeling language for model checkers.
Problem statement: There are many different model checkers that
have been developed. Each of the model checkers is based on different
input languages and they are suitable for model checking...